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: Pascal.CUOQ at cea.fr (CUOQ Pascal)
  • Date: Tue, 16 Dec 2008 20:27:28 +0100
  • References: <20081216175637.63d76d5d@is005115>
Dear Frama-C users,

it is my pleasure to announce the first
Mac OS X Intel binary release ever for Frama-C.

Frama-C is the work of the Frama-C developers.
This binary release should be considered as an
experiment. It is based on version Lithium 20081201.
There is a lot of room for improvement in the Mac OS X
integration, and motivated hackers with knowledge of gtk+,
Mac OS X, or both, may find it a good place to start
helping if they are so inclined.

Download the package from:
http://www.mediafire.com/?sharekey=96b8e1b63d7bb012d2db6fb9a8902bda

What's new from the first Mac OS X binary release ever ever:
- inclusion of automatic prover Alt-Ergo
- inclusion of graphviz's dot

The README states:
Please untar the archive as root in /
It will *not* work from another location.

Once you have done that, please read the README at
/usr/local/Frama-C/README

Pascal