Release Notes: The major change in this release is the introduction of a Question variant in the Cil.exp type, to represent expressions such as 1 == 2 ? 3: 4. It is enabled by the flag --useLogicalOperators. By default, legacy code should therefore compile and run without trouble against CIL 1.5.0, except for a few "non-exhaustive pattern matching" warnings on Cil.exp variables. This release also adds support for new GCC attributes and builtins, and fixes a number of issues, thanks to many bug reports and patches.
Release Notes: This release fixes installation of the CIL library. It fixes machine-independent flags in cilly (eg. -fPIC).
Release Notes: Building and installation of the CIL library was fixed.
Release Notes: This release improves the build system and installation (available as an opam package).
Release Notes: This release supports C99 flexible array members, supports GCC’s “case range” extension (--useCaseRange), adds a “regtest” make target to run regression tests, installs cilly as a proper Perl script, and adds many bugfixes.
Release Notes: New features: support for static local variables and GCC’s "computed gotos" (or "labels as values"). Various bugfixes.