--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on December 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Release of Alt-Ergo 0.99.1



Dear Alt-Ergo users,

I'm pleased to announce a new public release of Alt-Ergo (version 0.99.1).
It is available on our website at:

http://alt-ergo.ocamlpro.com

and soon on OPAM repository.

Best regards,
Mohamed Iguernelala.

-- 
Senior R&D Engineer, OCamlPro
Research Associate, VALS team, LRI.
http://www.iguer.info