Code

Halbaroth/fix regressions 2.4.2#573

Code

Merged

bclement-ocp merged 6 commits into2.4.xOCamlPro/alt-ergo:2.4.xfrom Halbaroth/fix-regressions-2.4.2OCamlPro/alt-ergo:Halbaroth/fix-regressions-2.4.2Copy head branch name to clipboardApr 14, 2023

+108-59

Commits

Commits on Apr 9, 2023

• Change the version to 2.4.3

  Halbaroth

  committed
  bd50370

• Add a constraint on the ocplib-simplex library

  Halbaroth

  committed
  fb64b43

• Remove flattening

  Halbaroth

  committed
  a36ddeb

• Too long lines

  Halbaroth

  committed
  f4b688a

Commits on Apr 12, 2023

• [arith] Add contextual explanation when tightening equalities (#562)

  Show description for cbfb1a2
  bclement-ocp

  committed
  cbfb1a2

Commits on Apr 13, 2023

• Use a weak table for the Shostak.Combine cache

  bclement-ocp

  committed
  41556bc