CIL 1.5.1 is available from
This release adds support for native versions of OCaml tools and fixes a bug in
It also fixes the regression tests. To run the full CIL test suite:
cd test && ./testcil -r --regrtest
Do not hesitate to report failing tests (I only tested on Linux).
For more information about CIL, please see:
July 14, 2012: Released version 1.5.1.
Native versions of OCaml tool (thanks to Oliver Schwahn).
Fixed bug in which pointer difference operations were incorrectly typed
(#3538514, thanks to Jim Grundy).
Merger: fix integer overflow in pragma.
Fix various regression tests and doc generation.