Code

Cleaner handling of step limit#936

Code

Merged

bclement-ocp merged 10 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Stevendeo:steps-timeoutStevendeo/alt-ergo:steps-timeoutCopy head branch name to clipboardNov 24, 2023

+201-60

Commits

Commits on Nov 23, 2023

• Treating step limit as an unknown reason and not a fatal error

  Stevendeo

  committed
  8d5cadc

• Update env when step limit is reached

  Stevendeo

  committed
  1baa4cf

• Also update env in fun_sat

  Stevendeo

  committed
  42991d9

• Rebase artifact

  Stevendeo

  committed
  2a7f6a9

• Update frontend to handle query when unknown is already decided

  Stevendeo

  committed
  def01ff

• Steps as a dolmen option

  Stevendeo

  committed
  1c7b0f1

• Adding missing file

  Stevendeo

  committed
  5281e65

• Poetry

  Stevendeo

  committed
  71aacc9

• Poetry

  Stevendeo

  committed
  c4593c7

• Rebase artifacts

  Stevendeo

  committed
  872f8ff