--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on December 2017 ---
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>