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.6 (compatible with Frama-C 17 Chlorine)

  • Subject: [Frama-c-discuss] Frama-Clang 0.0.6 (compatible with Frama-C 17 Chlorine)
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
  • Date: Mon, 23 Jul 2018 15:43:39 +0200
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>