--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on December 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-Clang 0.0.4 is out



Dear all,

As today (Nivose 4th) is Sulfur's day in the French Republican Calendar, it
is a real pleasure for me to announce the new release of Frama-Clang,
compatible with Frama-C 16 Sulfur.

The new release is also compatible with clang 5.0 (as well as 3.8, 3.9 and
4.0, which was also the case for the previous one). Other changes include
an improved translation of const-qualified local objects and of implicitly
generated member functions of classes with virtual inheritance.

As usual, sources and installation instructions are available at
http://frama-c.com/frama-clang.html

Merry Xmas to all,
-- 
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/20171224/2096fa2e/attachment.html>