--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on September 2012 ---
Dear Frama-C users, We are glad to announce a new major release of Frama-C, namely Oxygen-20120901. ======== DOWNLOAD ======== You can download the release at http://frama-c.com/download.html . For now, there is a source tar-ball distribution. Binary versions will be released within the next few weeks. A new version of the Jessie plug-in will shortly be released separately by Inria and will be compatible with Frama-C Oxygen. ============ MAIN CHANGES ============ This new major version includes too many bug fixes and improvements to list here: the detailed list is available at http://frama-c.com/Changelog.html . The main highlights are: - Kernel: support of local variables partially initialized - ACSL: support of model fields - Value: better support for ACSL annotations - Aorai, Impact, PDG, Value: significant performance improvement - Kernel API (developers only): new API for annotation handling For plug-in developers: this major release changes several Frama-C APIs in an incompatible way. Some of the plugin-side changes can automatically be applied by using the script bin/nitrogen2oxygen.sh of the source distribution. Complex plug-ins should be reviewed for compatibility. ====== ENJOY! ====== Enjoy this release and please report any issue and/or successes with this version through the usual channels, listed at http://frama-c.com/support.html . For the Frama-C Development Team, Julien Signoles -- Researcher-engineer CEA LIST, Software Safety Labs tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr