--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on March 2020 ---
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>