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

[Frama-c-discuss] Frama-Clang 0.0.3 - Phosphorus compatibility



Dear list,

As a member of CEA, it is a real pleasure for me to celebrate the 40th
anniversary of the US Department of Energy by announcing the release
of Frama-Clang v0.0.3.

Frama-Clang is an experimental C++ front-end for Frama-C, based on
clang. This release is compatible with Frama-C 15 - Phosphorus and
clang 3.8 to 4.0. The main change with respect to 0.0.2 is the use of
new features from Frama-C 15 to handle more accurately constructors
and destructors of local variables.

More information (including the archive of the plug-in) is available
here: http://frama-c.com/frama-clang.html

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile