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] Frama-C 21 (Scandium) has been released!

Thanks for reporting, we are working on fixing it. In the meanwhile, the 
changes are also accessible via the Frama-C pub wiki 
page, which contains links to the 3 changelogs:

- WP:


- Main changelog (kernel, GUI, Eva, ...):

On 12/06/2020 13:40, Tomas Härdin wrote:
> Hi
> Cool! The "Plugin WP" section seems to have some kind of markup problem
> where it doesn't become a bullet list properly
> /Tomas
> fre 2020-06-12 klockan 08:49 +0200 skrev Andre Maroneze:
>> Dear list,
>> It is with utmost pleasure that we celebrate the 155 years of the Battle
>> of the Riachuelo by announcing the release of *Frama-C 21.0 (Scandium)*.
>> A complete changelog can be found at:
>> Sources and manuals are available at:
>> The new opam package is already available : run `opam update && opam
>> install frama-c.21.0` to upgrade.
>> The release is also available in our public Gitlab repository:
>> (As a reminder, the Github snapshot repository is no longer being updated.)
>> Note that this is the last Frama-C release compatible with OCaml <
>> 4.08.1; Frama-C 22 (Titanium) will require OCaml >= 4.08.1.
>> [snip]
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at

André Maroneze
Researcher/Engineer CEA/List
Software Reliability and Security Laboratory

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>