Skip to content

Add 2 more Expr simplifications related to negative numbers, enable NOT concretization#1017

Merged
msooseth merged 7 commits intomainfrom
more-expr-simp
Feb 10, 2026
Merged

Add 2 more Expr simplifications related to negative numbers, enable NOT concretization#1017
msooseth merged 7 commits intomainfrom
more-expr-simp

Commits

Commits on Feb 10, 2026