--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on April 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



Dear Alt-Ergo users,

A new release of Alt-Ergo (version 2.2.0) is available. You can
get it from Alt-Ergo's website: https://alt-ergo.ocamlpro.com/#releases.

An OPAM package for it will be published in the next few days.

The major novelty of this release is a new experimental
front-end[1] that support the SMT-LIB 2 language, extended prenex
polymorphism. The full list of CHANGES is available here [2].

As usual, don't hesitate to report bugs, to ask questions, or to
give your feedback.

Best regards,
Mohamed Iguernlala.

[1] this extension is implemented as a standalone library, and is
available here: https://github.com/Coquera/psmt2-frontend

[2] https://github.com/OCamlPro/alt-ergo/blob/2.2.0/sources/CHANGES

---
Senior R&D Engineer @ OCamlPro
Research Associate, VALS team, LRI
LinkedIn: https://fr.linkedin.com/in/mohamed-iguernlala-71515979