package goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
Install
Dune Dependency
Authors
Maintainers
Sources
1.7.4.tar.gz
md5=091bd157c350e65e9c5616779f674cde
sha512=ddfa86c993c2d1e399742f4e9e77e4db4f255dac7f62019952e9dcd874f77cb02140bb5a8b9f3d1c158ba4e4fa057442d2ffdb6d40217bc3e0f76fe8a69af6a2
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, use zarith instead of num
Published: 17 Jun 2019
Dependencies (4)
- zarith
-
ocamlbuild
build -
ocamlfind
build -
ocaml
>= "4.02.3" & < "5.0"
Dev Dependencies (1)
-
hevea
with-doc | with-test
Used by (2)
-
goblint
< "1.1.1" - lintcstubs