feat: add boolean expression optimizer for ConditionNode trees#22025

Merged

pelikhan merged 15 commits intomainfrom

copilot/optimize-boolean-expressions

Mar 21, 2026

Commits on Mar 20, 2026

feat: add boolean expression optimizer for ConditionNode trees

Copilot
and
pelikhan
authored
feat: wire OptimizeExpression into all compiler if-condition render sites and recompile workflows

Copilot
and
pelikhan
authored
chore: start work on more aggressive optimizer with smarter rendering and chain flattening

Copilot
and
pelikhan
authored
feat: more aggressive optimizer with smart parens, AND chain dedup, and OR chain flattening

Copilot
and
pelikhan
authored
chore: planning De Morgan law additions to optimizer

Copilot
and
pelikhan
authored
feat: add De Morgan's law to optimizer (!(A&&B)→!A||!B, !(A||B)→!A&&!B)

Copilot
and
pelikhan
authored
fix: add complement law to DisjunctionNode optimizer and utility tests

Copilot
and
pelikhan
authored
Merge remote-tracking branch 'origin/main' into copilot/optimize-boolean-expressions
Copilot
committed
chore: merge main and recompile 176 workflows

Copilot
and
pelikhan
authored
wip: planning Z3-inspired optimizer improvements

Copilot
and
pelikhan
authored
feat: add Z3-inspired optimizer rules (absorption, subsumption, resolution, factoring)

Copilot
and
pelikhan
authored
wip: planning optimizer simplification

Copilot
and
pelikhan
authored
refactor: simplify optimizer by removing resolution and factoring rules

Copilot
and
pelikhan
authored
Add changeset [skip-ci]
github-actions[bot]
authored

Commits on Mar 21, 2026

Merge branch 'main' into copilot/optimize-boolean-expressions
pelikhan
authored