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
Sources
goblint-cil-1.7.3.tar.gz
md5=77b8d863893215275e6b8f7f0e055e3e
Dependencies
hevea
build & with-doc
num
build
ocaml
>= "4.02.3"
Reverse Dependencies
goblint
< "1.1.1"