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