--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on January 2015 ---
Dear all, We are pleased to announce a new private release of Alt-Ergo (version 1.00). A quick comparison and the main novelties (detailed Change Log) of this version can be found in the following blog post: http://www.ocamlpro.com/blog/2015/01/29/major-private-release-alt-ergo-1.00.html Best regards, Mohamed Iguernelala. -- Senior R&D Engineer, OCamlPro Research Associate, VALS team, LRI. http://www.iguer.info