A Haskell interface to CIL.
OCaml Haskell C
Latest commit 3739eb6 Apr 21, 2011 @tomahawkins unknown goto work
Failed to load latest commit information.
Language unknown goto work Apr 21, 2011
attic starting new approach to cil: parsing via language-c Nov 2, 2010
LICENSE cabaled May 10, 2010
README minor doc improvements Nov 10, 2010
Setup.lhs cabaled May 10, 2010
cil.cabal unknown goto work Apr 21, 2011


A Haskell interface to CIL; a simplified, intermediate language for C.
CIL makes a great frontend for C analysis, instrumentation, and compilation tools.


Release Notes

cil 0.1.1    11/9/10

- Bugfix: typedef of function pointers.
- Replaced ExprApply and Assign with AssignExpr and AssignApply.
- Separated types into different modules.
- New simplified program type (StmtGoto).

cil 0.1.0    11/8/10

- First release using (language-c . cilly) flow.