--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Release of Frama-C Lithium



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