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

[Frama-c-discuss] Announcing Frama-C Helium 20080701



Dear Frama-C users,

The Frama-C team is proud to announce the latest summer release of 
Frama-C: Helium 20080701.
You may download it from http://frama-c.cea.fr/download.html.
A godi package will be available very soon.

New features as well as bug fixes are described in the Changelog 
(http://frama-c.cea.fr/Changelog.txt).

Do not hesitate to post comments and remarks on the mailing list or even 
on the Bug Tracking System: https://gforge.inria.fr/tracker/?group_id=1123


Thanks to all bug reporters for helping us improving Frama-C.
Cheers,
-- 
Benjamin Monate