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] [Alt-Ergo] experimental models generation

  • Subject: [Frama-c-discuss] [Alt-Ergo] experimental models generation
  • From: at (Mohamed Iguernlala)
  • Date: Tue, 12 Jul 2016 11:29:01 +0200

Dear Alt-Ergo users,

We've just pushed a testing branch of Alt-Ergo with experimental
models generation capabilities to our public repo:

You can find some explanations of how it can be used here:

Note that a new dependency (ocplib-simplex) is not yet available
in OPAM. You can alternatively install it from sources:

Feedback are welcome, and happy testing !


Mohamed Iguernlala.

Senior R&D Engineer, OCamlPro SAS
Research Associate, VALS team, LRI