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 (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 


You can download it at

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.


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.


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


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