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, use zarith instead of num
Authorgabriel@kerneis.info
Published
Homepagehttps://cil-project.github.io/cil/
Issue Trackerhttps://github.com/goblint/cil/issues/
Maintainerralf.vogler@gmail.com
Dependencies
Conflicts
Source [http] https://github.com/goblint/cil/archive/1.7.4.tar.gz
md5=091bd157c350e65e9c5616779f674cde
sha512=ddfa86c993c2d1e399742f4e9e77e4db4f255dac7f62019952e9dcd874f77cb02140bb5a8b9f3d1c158ba4e4fa057442d2ffdb6d40217bc3e0f76fe8a69af6a2
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/goblint-cil/goblint-cil.1.7.4/opam
Required by