--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on March 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-Clang 0.0.8 released



Dear list,

it is a pleasure for me to celebrate Louis Bachelier's 150th birthday by
announcing the release of Frama-Clang 0.0.8, the (very experimental) C++
front-end of Frama-C.

Main changes in this release include compatibility with Frama-C 20.0
Calcium and Clang 9.0, better handling of ghost statements and support of
ACSL++ \exit_status. Note also that compiling Frama-Clang now requires
camlp5 instead of the defunct camlp4.

As usual, you can download the source code and the manual at
http://frama-c.com/frama-clang.html

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/20200311/950f4881/attachment.html>