package goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation.
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-cil-1.7.3.tar.gz
sha256=e912d04387532d44e752463b73c6fe575091eb119b6d75aa6103f243c18a542e
md5=77b8d863893215275e6b8f7f0e055e3e
Description
This is a fork of the 'cil' package needed to build 'goblint'. Changes:
- some warnings are made optional
- truncated integer constants have a string representation
- compiles with OCaml 4.06.0
Published: 02 Dec 2017
Dependencies (5)
-
conf-perl
build -
num
build -
ocamlbuild
build - ocamlfind
-
ocaml
>= "4.02.3" & < "5.0"
Dev Dependencies (1)
-
hevea
build & with-doc
Used by (2)
-
goblint
< "1.1.1" - lintcstubs