Fix MBA simplification cases reported at REcon 2026; optimize core math - #48

Merged

kyle-elliott-tob merged 20 commits into

ft-recon-and-math-perf

Jun 30, 2026

Commits on Jun 24, 2026

refactor: hoist ExprStructurallyEqual to ExprUtils

kyle-elliott-tob
and
claude
committed
feat: recover A|B from A+B-(A&B) in pattern-subtree peeling

kyle-elliott-tob
and
claude
committed
fix: decline no-op product-core short-circuit when reducible

kyle-elliott-tob
and
claude
committed

Commits on Jun 25, 2026

fix: seed mask constants in TemplateDecomposer for high-bit masking

kyle-elliott-tob
and
claude
committed

Commits on Jun 26, 2026

Commits on Jun 29, 2026

Commits on Jun 30, 2026

style: apply clang-format to satisfy the lint CI check

kyle-elliott-tob
and
claude
committed