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] Release Frama-C Boron
- Subject: [Frama-c-discuss] Release Frama-C Boron
- From: Julien.Signoles at cea.fr (Julien Signoles)
- Date: Tue, 13 Apr 2010 15:03:17 +0200
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
- Follow-Ups:
- [Frama-c-discuss] Release Frama-C Boron
- From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] Release Frama-C Boron
- From: mehdi at dogguy.org (Mehdi Dogguy)
- [Frama-c-discuss] Release Frama-C Boron
- Prev by Date: [Frama-c-discuss] Modélisation et vérification d'algorithmes en Coq
- Next by Date: [Frama-c-discuss] Help with the Value Set Analysis
- Previous by thread: [Frama-c-discuss] Modélisation et vérification d'algorithmes en Coq
- Next by thread: [Frama-c-discuss] Release Frama-C Boron
- Index(es):