goblint-cilversion
A front-end for the C programming language that facilitates program analysis and transformation.
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
| Author | gabriel@kerneis.info |
|---|---|
| Published | |
| Homepage | https://cil-project.github.io/cil/ |
| Issue Tracker | https://github.com/goblint/cil/issues/ |
| Maintainer | ralf.vogler@gmail.com |
| Dependencies | |
| Conflicts | |
| Source [http] | https://github.com/goblint/cil/archive/goblint-cil-1.7.3.tar.gz sha256=e912d04387532d44e752463b73c6fe575091eb119b6d75aa6103f243c18a542e md5=77b8d863893215275e6b8f7f0e055e3e |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/goblint-cil/goblint-cil.1.7.3/opam |
Required by
- goblintbuild & <1.1.1
- lintcstubs
