Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Frama-Clang 0.0.4 is out
  • From: virgile.prevosto at (Virgile Prevosto)
  • Date: Sun, 24 Dec 2017 15:45:17 +0100

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

Merry Xmas to all,
E tutto per oggi, a la prossima volta
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <>