package cil
A front-end for the C programming language that facilitates program analysis and transformation
Install
Dune Dependency
Authors
Maintainers
Sources
cil-1.7.3.tar.gz
sha256=69b7f290d2b15dd44e2b837d3de0922245be841f79ab56a7e9ba8205544be314
md5=dffd5ee8f812b86b5352583c223ef6e6
Description
Published: 21 Nov 2013
Dependencies (4)
- num
-
ocamlbuild
build - ocamlfind
-
ocaml
< "4.06.0"
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page