--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on July 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-Clang 0.0.6 (compatible with Frama-C 17 Chlorine)



Hello,

it is a pleasure for me to announce the availability of Frama-Clang 0.0.6,
compatible with Frama-C 17 Chlorine-20180502.

**Important note:** Frama-Clang is **not** compatible with
Chlorine-20180501. If you intend to experiment with the plugin, you should
make sure that you have Chlorine-20180502 (if you're using opam, this
should only be a matter of opam update; opam upgrade). If you do not intend
to use Frama-Clang, there is no need to update though.

Frama-Clang is available at https://frama-c.com/frama-clang.html

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180723/8aaa0814/attachment.html>