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

[Frama-c-discuss] [Alt-Ergo] release of version 1.30



Dear Alt-Ergo users,

A new version of Alt-Ergo (v. 1.30) is released. The tarball, a
Windows binary, and a Javascript version are available on Alt-Ergo's
website at:

https://alt-ergo.ocamlpro.com/

OPAM packages will be available soon.

This new version includes a lot of improvements and bug fixes (see
CHANGES [1]). But, the main new feature is experimental support for
models generation. More details about this extension are available
here [2].

Please, don't hesitate to report bugs, to ask questions, or to give
your feedback.

Best regards,
Mohamed Iguernlala.


[1] https://github.com/OCamlPro/alt-ergo/blob/master/CHANGES
[2] 
http://www.ocamlpro.com/2016/11/21/release-of-alt-ergo-1-30-with-experimental-support-for-models-generation/


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