--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on April 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New Frama-C version: Fluorine



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