package goblint
Static analysis framework for concurrent C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-1.0.0.tar.gz
sha256=7a2c448c5aae864a58b340b17ff6671348fa82645a1e130fa872977ee4037e41
md5=dd3ff7266e17f2772a17609d6bd960b8
Description
Published: 11 Dec 2017
Dependencies (13)
- conf-gcc
-
yojson
< "1.6.0" - ppx_deriving_yojson
- ppx_deriving
-
ppx_import
< "2.0" - ppx_monadic
- ppx_distr_guards
-
xml-light
build -
batteries
build & < "3.4.0" -
goblint-cil
build & < "1.8.0" -
ocamlfind
build -
ocamlbuild
build -
ocaml
>= "4.04.1" & < "4.07"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page