--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on September 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Oxygen-20120901



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