Code

feat: check-all-sat support#846

Code

Closed

Halbaroth wants to merge 7 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:check-all-satHalbaroth/alt-ergo:check-all-satCopy head branch name to clipboard

+374-57

Commits

Commits on Sep 29, 2023

• Fun_sat: refactor the way models are handled/printed

  Show description for 7804408
  

  iguerNL

  authored and

  Halbaroth

  committed
  7804408

• Simplify get-model processing

  Halbaroth

  committed
  3a07c8e

• re-implement all-models feature differently

  Show description for f8d5c4b
  

  iguerNL

  authored and

  Halbaroth

  committed
  f8d5c4b

• Move --all-models option in the MODEL section

  Halbaroth

  committed
  bd79ad0

• Some todo comments

  Halbaroth

  committed
  3b6ddfd

• Move show-prop-model in the MODEL section

  Halbaroth

  committed
  aee063a

• Run the linter

  Halbaroth

  committed
  a6fe1b9