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