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] Lithium beta 1 release

  • Subject: [Frama-c-discuss] Lithium beta 1 release
  • From: benjamin.monate at (Benjamin Monate)
  • Date: Wed Oct 29 19:49:45 2008

Dear Frama-C users,

The Frama-C team is proud to announce the Lithium 20081002+beta1 version 
of Frama-C.
You will find a source version, a Win32 binary version together with a 
Changelog on

The content of the web site has been updated.
Browse to
for more informations.

As always do not hesitate to comment and report bugs on this release.

Thanks again to all bug reporters!
Benjamin Monate for the Frama-C team