Code

Generalize PAtomEq to PAtom#375

Code

Closed

shingarov wants to merge 3 commits intopure-z3shingarov/MachineArithmetic:pure-z3from make-patomsshingarov/MachineArithmetic:make-patomsCopy head branch name to clipboard

+243-110

Commits

Commits on Oct 28, 2024

• Generalize PAtomEq to PAtom

  shingarov

  committed
  64b685c

• If we already know it's #===, create PAtom early

  shingarov

  committed
  29718ef

• Re-route bin ops through EBin instead of creating EMessageSend

  shingarov

  committed
  ec5cdf0