--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on April 2018 ---
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