goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation.
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
Install
- Published
-
02 Dec 2017
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies
goblint
< "1.1.1"