--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on April 2013 ---
Dear Frama-C users, We are glad to announce a new major release of Frama-C, named Fluorine-20130401. ======== DOWNLOAD ======== You can download the release at http://frama-c.com/download.html . For now, that is a source tar-ball distribution. A OPAM package is going to be available in the next few days. ============ MAIN CHANGES ============ This new major version includes too many bug fixes and improvements to list here: details are available at http://frama-c.com/Changelog.html. The main highlights are: - WP supports a new 'Typed' memory model - WP gets a Why3 output - RTE and Value are now consistent on annotations they emit - Value improves precision and support of ACSL annotations - (developers only) The kernel provides a new API for AST pretty printing 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/oxygen2fluorine.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