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] New release Beryllium-20090902

  • Subject: [Frama-c-discuss] New release Beryllium-20090902
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Wed, 23 Sep 2009 20:21:47 +0200
Dear Frama-C users,

The Frama-C team is proud to announce the second version of the Frama-C 
Beryllium release, namely Beryllium-20090902. That is mainly a bug-fix 
release.

You can download it at http://frama-c.cea.fr/download.html.
There are a source tar-ball and a Windows 32 bits binary auto-installer.
The list of major changes is available at
http://frama-c.cea.fr/Changelog.html.

Jessie is not part anymore of the Frama-C distribution: it is now 
released within Why. A new version of why including the Frama-C plug-in 
Jessie should be released very soon. Whenever Why+Jessie is released, 
bundles containing Frama-C+Jessie will be available from the download 
page of the Frama-C website.

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