package alt-ergo

v2.4.3 (2023-04-14)

Build

• Restrict the requirement version of Ocplib-simplex (PR #573)
• Dune 3.0 or above required, see https://github.com/ocaml/dune/issues/5563 (PR #575)
• Zarith 1.4 or above required
• Cairo2 0.6.4 or above required
• psmt2-frontend 0.4 or above required
• Using js_of_ocaml with a version between 4.0.1 and 5.0.1 required (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)