--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on September 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-Clang 0.0.7



Dear list,

it is a pleasure for us to celebrate the 230th anniversary of the discovery
of Mimas by William Herschel with the release of Frama-Clang v0.0.7. Feel
free to download it at https://frama-c.com/frama-clang.html

Frama-Clang is a Frama-C plug-in acting as a C++ front-end of the platform.
Among the main changes in this release are:

- A user manual
- totally rewritten ACSL++ parser, with a much simpler and more
maintainable implementation
- more headers in the Frama-Clang implementation of the STL
- preliminary support for lambdas
- compatibility with Frama-C 19.0 Potassium
- compatibility with clang/llvm 6 to 8

Finally, I'd like to thank David Cok, who just spent 18 months on
sabbatical with us and has been the main force behind, among other things,
the user manual and the new ACSL++ parser.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190917/38c6958a/attachment.html>