--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on July 2016 ---
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