2.4.3

Halbaroth released this 27 Apr 07:33

· 557 commits to next since this release

231ccd9

v2.4.3 (2023-04-27)

Build

Restrict the requirement version of Ocplib-simplex (PR #573)
Dune 3.0 or above is required, see ocaml/dune#5563 (PR #575)
Zarith 1.4 or above is required
Using js_of_ocaml with a version between 4.0.1 and 5.0.1 is required for
the new package alt-ergo-js (PR #575)

Bug fixes

Fix soundness issues in the arithmetic reasoner #476, #477, #479 (PR #573)

Regression fixes

Remove flattening, see issues #505, #567 (PR #573)
Using a weak table for the Shostak.combine cache to prevent some regressions (PR #573)

Assets 3