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/
Maintainergabriel@kerneis.info
Dependencies
Source [http] http://downloads.sourceforge.net/project/cil/cil/cil-1.7.3.tar.gz
sha256=69b7f290d2b15dd44e2b837d3de0922245be841f79ab56a7e9ba8205544be314
md5=dffd5ee8f812b86b5352583c223ef6e6
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cil/cil.1.7.3/opam
Required by