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] New Frama-Clang version

  • Subject: [Frama-c-discuss] New Frama-Clang version
  • From: virgile.prevosto at (Virgile Prevosto)
  • Date: Thu, 6 Apr 2017 18:32:21 +0200

Dear list,

it is a pleasure for me to celebrate the 690th anniversary of the
first encounter between Francesco Petrarca and Laura by announcing the
release of Frama-Clang v0.0.2. This new version is meant to be
compiled with Frama-C 14-Silicon and is compatible with clang 3.8, 3.9
and 4.0. It also brings various small enhancements allowing a better
compatibility with GNU STL. More information is available at

For the Frama-Clang team,
E tutto per oggi, a la prossima volta