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 16 (Sulfur) - beta
- Subject: [Frama-c-discuss] Frama-C 16 (Sulfur) - beta
- From: Andre.OLIVEIRAMARONEZE at cea.fr (Andre Maroneze)
- Date: Tue, 31 Oct 2017 20:23:26 +0100
Dear list, I have the pleasure to announce the beta release of the next version of Frama-C, 16 (Sulfur). It is available in the release-candidates branch of Frama-C-snapshot's repository on github: https://github.com/Frama-C/Frama-C-snapshot/tree/release-candidates And a link to a tar.gz archive and the manuals is available at: https://github.com/Frama-C/Frama-C-snapshot/wiki/Frama-C-Sulfur-20171101-beta You are encouraged to try it out and report any potential regression on this list or on https://bts.frama-c.com as usual. Barring any critical issue, final Frama-C 16 release is scheduled for early December. Main changes include: ### Kernel - extra type checking verifications (e.g. const on local variables) ### EVA - many improvements, more precise behaviors, bug fixes ### RTE - emission of more alarms (\initialized) ### GUI - extra columns when metrics is run (dead code %) - allow displaying local callgraphs For the Frama-C team, -- AndrÃ© Maroneze CEA/LIST Laboratoire SÃ»retÃ© et SÃ©curitÃ© des Logiciels -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 3797 bytes Desc: S/MIME Cryptographic Signature URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20171031/5466eb83/attachment.bin>
- Prev by Date: [Frama-c-discuss] Does WP support declare ghost variables of logic types ?
- Next by Date: [no subject]
- Previous by thread: [Frama-c-discuss] Does WP support declare ghost variables of logic types ?
- Next by thread: [no subject]