Code

feat: get-assignment statement#848

Code

Merged

Halbaroth merged 15 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Stevendeo:get-assignmentStevendeo/alt-ergo:get-assignmentCopy head branch name to clipboardNov 9, 2023

+308-3

Commits

Commits on Oct 31, 2023

• Produce assignments option

  Stevendeo

  committed
  ec769f9

  Copy full SHA for ec769f9

• Placeholder for get_assignments

  Stevendeo

  committed
  a6221a4

  Copy full SHA for a6221a4

• Gathering the named formulae

  Stevendeo

  committed
  b465653

  Copy full SHA for b465653

• Pulling threads up to the SAT solver

  Stevendeo

  committed
  c9317ef

  Copy full SHA for c9317ef

Commits on Nov 2, 2023

• Update tests

  Stevendeo

  committed
  fe5c2cb

  Copy full SHA for fe5c2cb

• Proprification

  Stevendeo

  committed
  9b461ef

  Copy full SHA for 9b461ef

• Adding basic get_value

  Stevendeo

  committed
  0cfbec6

  Copy full SHA for 0cfbec6

• Update tests

  Stevendeo

  committed
  f5cc809

  Copy full SHA for f5cc809

• Poetry

  Stevendeo

  committed
  5c6f05f

  Copy full SHA for 5c6f05f

• Removing useless check

  Stevendeo

  committed
  083693f

  Copy full SHA for 083693f

• Removing spurious term selection in binder

  Stevendeo

  committed
  541b4d6

  Copy full SHA for 541b4d6

Commits on Nov 3, 2023

• Poetry

  Stevendeo

  committed
  86f8f33

  Copy full SHA for 86f8f33

Commits on Nov 6, 2023

• Adding tests

  Stevendeo

  committed
  9cbf833

  Copy full SHA for 9cbf833

Commits on Nov 8, 2023

• Adding tests & handling case where model gen is disabled

  Stevendeo

  committed
  15f0560

  Copy full SHA for 15f0560

• Update test

  Stevendeo

  committed
  9c79109

  Copy full SHA for 9c79109