Code

Remove useless and confusing Expr>>,#378

Code

Merged

shingarov merged 1 commit intopure-z3shingarov/MachineArithmetic:pure-z3from remove-pred-monoidshingarov/MachineArithmetic:remove-pred-monoidCopy head branch name to clipboardOct 28, 2024

-9

Commits

Commits on Oct 28, 2024

• Remove useless and confusing Expr>>,

  Show description for 6351aae
  shingarov

  committed
  6351aae

  Copy full SHA for 6351aae