TDacik

Tomáš Dacík's repositories

Frama-C plugin for deadlock detection

Language:OCamlMIT10 2 1

Decision procedure for strong-separation logic

Language:OCamlMIT3 10

Language:Isabelle2 10

Language:OCaml010

Static analysis framework for C

Language:OCamlMIT000

Set of problems

Language:SMT000

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.0000

Personal fork of https://pajda.fit.vutbr.cz/rogalew/broom

Language:CGPL-3.0010

Language:Python000

An OCaml library providing clean and flexible parser for languages used in automated deduction

Language:OCamlBSD-2-Clause000

010

Release snapshots of the Frama-C platform for source code analysis

Language:OCaml000

Fork of https://github.com/katelaan/harrsh/fork with fixed build issues

Language:ScalaMIT000

OCaml graph library

NOASSERTION000

Main public package repository for opam, the source package manager of OCaml.

Language:ShellCC0-1.0000

Language:SMT000

Frama-C plugin for shape analysis using separation logic

Language:Typst000