--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on June 2020 ---
[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 
<https://git.frama-c.com/pub/frama-c/-/wikis/Frama-C-21.0-Scandium> 
page, which contains links to the 3 changelogs:

- WP: 
https://git.frama-c.com/pub/frama-c/-/blob/21.0/src/plugins/wp/Changelog

- E-ACSL: 
https://git.frama-c.com/pub/frama-c/-/blob/21.0/src/plugins/e-acsl/doc/Changelog

- Main changelog (kernel, GUI, Eva, ...): 
https://git.frama-c.com/pub/frama-c/-/blob/21.0/Changelog


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: http://frama-c.com/changelog.html
>> Sources and manuals are available at: http://frama-c.com/download.html
>>
>> 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:
>> https://git.frama-c.com/pub/frama-c/-/releases
>>
>> (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 lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200612/ce85138f/attachment.html>