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

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



(I'm re-sending an announce of yesterday that have, apparently,
been moderated/rejected ... )

Dear Alt-Ergo users,

We've just released a new version of Alt-Ergo (v. 2.0.0). An OPAM
package for it will be available soon. You can also get it from
Alt-Ergo's website https://alt-ergo.ocamlpro.com/#releases.

The main novelty of this release is the integration of
floating-point arithmetic reasoning. The list of CHANGES is
available here [1].

More generally, in addition to license update,
bugfixes/improvements and stable developments will be pushed to
Alt-Ergo's public repository[2] more frequently.

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/2.0.0/sources/CHANGES
[2] https://github.com/OCamlPro/alt-ergo

---
Senior R&D Engineer, OCamlPro SAS
Research Associate, VALS team, LRI
Webpage: http://www.iguer.xyz
LinkedIn: https://fr.linkedin.com/in/mohamed-iguernlala-71515979
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20171116/821fbdd1/attachment.html>