--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on January 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Private Release of Alt-Ergo 1.00



Hi again,

Apparently, the .js file used for "Try Alt-Ergo 1.00" on 
http://alt-ergo.ocamlpro.com/try.php
was not working. It's now fixed !

Regards,
Mohamed.

Le 29/01/2015 12:04, Iguernelala Mohamed a ?crit :
> 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