What's new in CIL 1.7.3
Jul 26, 2013
- This version fixes installation of the CIL library.
- It fixes machine-independent flags in cilly (eg. -fPIC).
New in CIL 1.7.2 (Jun 27, 2013)
- Building and installation of the CIL library was fixed.
New in CIL 1.7.1 (Jun 19, 2013)
- This version improves the build system and installation (available as an opam package).
New in CIL 1.6.0 (Mar 29, 2013)
- New features: support for static local variables and GCC’s "computed gotos" (or "labels as values").
- Various bugfixes.