Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Nitrogen-20111001

  • Subject: [Frama-c-discuss] Frama-C Nitrogen-20111001
  • From: Julien.Signoles at (Julien Signoles)
  • Date: Mon, 10 Oct 2011 14:10:22 +0200

Dear Frama-C users,

We are glad to announce a new major release of Frama-C, namely 


You can download the release at .

For now, there is a source tar-ball distribution without the Jessie
plug-in, but including the WP plug-in. Binary versions will be released 
as soon as possible. A new version of Why which includes the Jessie 
plug-in will shortly be released separately by Inria and will be 
compatible with Frama-C Nitrogen.


This new major version includes too many bug fixes and improvements to 
list here: the detailed list is available at .

Major improvements benefit:
- Value Analysis plug-in
- PDG plug-in and its derivatives (Slicing, Impact, Scope, Sparecode)
- Aora? plug-in
- the GUI
- kernel property statuses

For plug-in developers: this major release changes several Frama-C APIs 
in an incompatible way. A subset of the plug-in side changes can 
automatically be applied by using the script bin/ of 
the source distribution. Complex plug-ins should be reviewed for 


Enjoy this release and do not hesitate to report any issue and/or
successes with this version through the usual channels, listed at .

Have fun with Frama-C,
Julien Signoles