Release Notes: This release fixes a number of bugs (including support for OCaml 3.12) and adds a few enhancements (support for some gcc builtins in particular). Note that the project is not maintained by UC Berkeley anymore, due to lack of time and manpower. The new maintainer is Gabriel Kerneis.
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.