Commit 133fc94e authored by Dario Pinto's avatar Dario Pinto
Browse files

add article + update of urls.ml

parent cce73227
title=Release of Alt-Ergo 2.2.0
authors=Mohamed Iguernlala
date=2018-04-23
category=Formal Methods
tags=alt-ergo
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 that supports the SMT-LIB 2 language, extended prenex polymorphism. This extension is implemented as a standalone library, and is available [here](https://github.com/OCamlPro/alt-ergo/blob/2.2.0/sources/CHANGES): [https://github.com/Coquera/psmt2-frontend](https://github.com/Coquera/psmt2-frontend)
The full list of CHANGES is available [here](https://github.com/OCamlPro/alt-ergo/blob/2.2.0/sources/CHANGES). As usual, do not hesitate to report bugs, to ask questions, or to give your feedback!
......@@ -8,7 +8,6 @@ let old_to_new =
; ("/fr/recrutement-ocamlpro/", "/jobs")
; ( "https://www.ocamlpro.com/pre-inscription-a-une-session-de-formation-inter-entreprises/"
, "/" )
; ("https://www.ocamlpro.com/2018/04/23/release-of-alt-ergo-2-2-0/", "/")
; ("https://www.ocamlpro.com/2018/07/20/new-updates-on-tzscan-2/", "/")
; ( "https://www.ocamlpro.com/2018/07/20/ocamlpros-tezos-block-explorer-tzscans-last-updates/"
, "/" )
......@@ -190,6 +189,8 @@ let old_to_new =
; ( "/2018/04/13/taskforce-on-the-tezos-protocol-and-tzscan-evolution/"
, "/blog/2018_04_13_taskforce_on_the_tezos_protocol_and_tzscan_evolution"
)
; ( "/2018/04/23/release-of-alt-ergo-2-2-0/"
, "/blog/2018_04_23_release_of_alt_ergo_2_2_0" )
; ( "/2018/05/22/opam-2-0-0-release-candidate-2-is-out/"
, "/blog/2018_05_22_opam_2.0.0_release_candidate_2_is_out" )
; ( "/2018/07/26/opam-2-0-0-rc4-final-is-out/"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment