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 of Frama-C Lithium

  • Subject: [Frama-c-discuss] Release of Frama-C Lithium
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
  • Date: Tue, 16 Dec 2008 17:56:37 +0100
Dear Frama-C users,

On behalf of the Frama-C team, it is my pleasure to announce the
release of Frama-C Lithium, aka 20081201. As usual, it is available as
source code and as windows binaries. Both are available at
http://frama-c.cea.fr/download.html

A list of the main changes with respect to the previous version is
available at http://frama-c.cea.fr/Changelog.txt

Many thanks for all the feedback you have sent about the beta version.

For the Frama-C team,
-- 
E tutto per oggi, a la prossima volta.
Virgile Prevosto