Code

Fix distinct unsoundness#890

Code

Merged

Halbaroth merged 3 commits intoOCamlPro:v2.5.xOCamlPro/alt-ergo:v2.5.xfrom Halbaroth:distinct-soundnessHalbaroth/alt-ergo:distinct-soundnessCopy head branch name to clipboardOct 16, 2023

+276-4

Commits

Commits on Oct 13, 2023

• Fix distinct unsoundness

  Show description for e81c18a
  Halbaroth

  committed
  e81c18a

• Fix the smart constructor of mk_distinct

  Show description for c55c086
  Halbaroth

  committed
  c55c086

Commits on Oct 16, 2023

• Clean up

  Halbaroth

  committed
  af20710