--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on April 2010 ---
Dear Frama-C users, The Frama-C team is proud to announce a new Frama-C release, namely Boron-20100401. ======== DOWNLOAD ======== You can download it at http://frama-c.com/download.html. For now, there is a source tar-ball distribution without the Jessie plug-in. Windows and Mac OS X auto-installers will be released as soon as possible. The Jessie plug-in will be released independently. ================ NEW REQUIREMENTS ================ Compared with Beryllium, some dependencies of the GUI change: - LablGtk >= 2.14 (was LablGtk >= 2.12) - GtkSourceView 2 (was GtkSourceView 1) - GnomeCanvas 2.x (was mandatory only for the GUI of few plug-ins) Furthermore the required OcamlGraph version is >= 1.4 (was >= 1.3) but the tar-ball provides a compatible one. ============ MAIN CHANGES ============ Among several bug fixes, the major improvements are about: - better ACSL coverage - the Value Analysis plug-in (mainly better ACSL and float supports) - a bunch of new features in the GUI - a preliminary C standard library - a faster -load option - better error reporting The detailed list of major changes is available at http://frama-c.com/Changelog.html. ====== ENJOY! ====== Enjoy this release and do not hesitate to report any issue and/or success with this version through the usual channels. Best regards, for the Frama-C team, Julien Signoles