cilversion

A front-end for the C programming language that facilitates program analysis and transformation

Authorgabriel@kerneis.info
Published
Homepagehttp://kerneis.github.io/cil/
Issue Trackerhttp://sourceforge.net/p/cil/bugs/150/
Maintainergabriel@kerneis.info
Dependencies
Conflicts
Source [http] http://downloads.sourceforge.net/project/cil/cil/cil-1.5.1.tar.gz
md5=09d78ed8979df5f3fba3cb120b78ce73
StatisticsInstalled 9 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cil/cil.1.5.1/opam
No package is dependent