Code

Generalize PAtomEq to PAtom#370

Code

Closed

shingarov wants to merge 11 commits intopure-z3shingarov/MachineArithmetic:pure-z3from generalize-patom-eqshingarov/MachineArithmetic:generalize-patom-eqCopy head branch name to clipboard

+667-435

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

• Generalize PAtomEq to PAtom

  shingarov

  committed
  f09f5ed

  Copy full SHA for f09f5ed