goblint

LicenseMIT
Homepagehttps://github.com/goblint/analyzer
Issue Trackerhttps://github.com/goblint/analyzer/issues
MaintainerRalf Vogler <ralf.vogler@gmail.com>
Dependencies
&batteries
goblint-cil
ocamlbuild
ocamlfind
ppx_deriving
ppx_deriving_yojson
ppx_distr_guards
ppx_import
ppx_monadic
xml-light
Availableocaml-version >= "4.04.1" & ocaml-version < "4.07"
PublishedDec 11, 2017
Source [http] https://github.com/goblint/analyzer/archive/goblint-1.0.0.tar.gz
dd3ff7266e17f2772a17609d6bd960b8
StatisticsInstalled 3 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/goblint/goblint.1.0.0/opam

Static analysis framework for concurrent C

No package is dependent