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 cea.fr (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 Nitrogen-20111001. ======== DOWNLOAD ======== You can download the release at http://frama-c.com/download.html . 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. ============ 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 . 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/carbon2nitrogen.sh of the source distribution. Complex plug-ins should be reviewed for compatibility. ====== ENJOY! ====== Enjoy this release and do not hesitate to report any issue and/or successes with this version through the usual channels, listed at http://frama-c.com/support.html . Have fun with Frama-C, Julien Signoles