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

[Frama-c-discuss] [Alt-Ergo] experimental models generation



Dear Alt-Ergo users,

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

https://github.com/OCamlPro/alt-ergo/tree/testing

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

https://github.com/OCamlPro/alt-ergo/blob/testing/CHANGES.md

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

https://github.com/OCamlPro-Iguernlala/ocplib-simplex

Feedback are welcome, and happy testing !

Regards,

Mohamed Iguernlala.

--
Senior R&D Engineer, OCamlPro SAS
Research Associate, VALS team, LRI
Webpage: http://www.iguer.xyz
LinkedIn: https://fr.linkedin.com/in/mohamed-iguernlala-71515979