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.7

  • Subject: [Frama-c-discuss] Frama-Clang 0.0.7
  • From: virgile.prevosto at (Virgile Prevosto)
  • Date: Tue, 17 Sep 2019 11:34:49 +0200

Dear list,

it is a pleasure for us to celebrate the 230th anniversary of the discovery
of Mimas by William Herschel with the release of Frama-Clang v0.0.7. Feel
free to download it at

Frama-Clang is a Frama-C plug-in acting as a C++ front-end of the platform.
Among the main changes in this release are:

- A user manual
- totally rewritten ACSL++ parser, with a much simpler and more
maintainable implementation
- more headers in the Frama-Clang implementation of the STL
- preliminary support for lambdas
- compatibility with Frama-C 19.0 Potassium
- compatibility with clang/llvm 6 to 8

Finally, I'd like to thank David Cok, who just spent 18 months on
sabbatical with us and has been the main force behind, among other things,
the user manual and the new ACSL++ parser.

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