Code

re-subclass Z3CAPITest#372

Code

Closed

shingarov wants to merge 14 commits intopure-z3shingarov/MachineArithmetic:pure-z3from resubclass-z3capi-testshingarov/MachineArithmetic:resubclass-z3capi-testCopy head branch name to clipboard

+526-334

Commits

Commits on Oct 13, 2024

• Pass the SymEnv into #sort: indirectly through Reader

  Show description for 6119cdd
  shingarov

  committed
  6119cdd

  Copy full SHA for 6119cdd

Commits on Oct 16, 2024

• Clear up confusion between hBind and bind

  Show description for f08fa0b
  shingarov

  committed
  f08fa0b

  Copy full SHA for f08fa0b

• Reuse #decimalNat instead of spelling it out every time

  shingarov

  committed
  93bbda1

  Copy full SHA for 93bbda1

Commits on Oct 17, 2024

• Require at least one argument to κ-app

  shingarov

  committed
  6187ebe

  Copy full SHA for 6187ebe

• [cosmetic] Consistently categorize HornTest>>provePos/Neg

  shingarov

  committed
  4968bbe

  Copy full SHA for 4968bbe

Commits on Oct 18, 2024

• [cosmetic] Use typographically-correct selector for #goS′

  shingarov

  committed
  c2251c4

  Copy full SHA for c2251c4

• Overhaul NNFParser

  Show description for a1ae5c1
  shingarov

  committed
  a1ae5c1

  Copy full SHA for a1ae5c1

• Introduce FQParser, with minimal PoC functionality

  shingarov

  committed
  ed39785

  Copy full SHA for ed39785

• Add one smallest FQTest

  shingarov

  committed
  e882b8f

  Copy full SHA for e882b8f

Commits on Oct 20, 2024

• Add missing Expr>>#<=

  shingarov

  committed
  6ff51e9

  Copy full SHA for 6ff51e9

Commits on Oct 21, 2024

• [Z3]: apigen.py: extract list of APIs that should not check for errors

  Show description for f266df7
  

  janvrany

  authored and

  shingarov

  committed
  f266df7

  Copy full SHA for f266df7

• [Z3]: do not check for error after calling Z3_set_error

  

  janvrany

  authored and

  shingarov

  committed
  6e94c79

  Copy full SHA for 6e94c79

• [Z3]: clear error upon reporting it

  Show description for 2ab5e61
  

  janvrany

  authored and

  shingarov

  committed
  2ab5e61

  Copy full SHA for 2ab5e61

• re-subclass Z3CAPITest

  shingarov

  committed
  902b914

  Copy full SHA for 902b914