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