Teach kmir to reduce SMIR K definitions over a set of CFG roots#845

Merged

automergerpr-permission-manager[bot] merged 7 commits intomasterfrom

srs/multiple_roots_closure

Mar 31, 2026

Commits on Nov 12, 2025

teach kmir to reduce SMIR K definitions over a set of CFG roots
sskeirik
committed

Commits on Mar 23, 2026

Merge origin/master into srs/multiple_roots_closure

Stevengre
and
claude
committed
fix: resolve merge conflicts and fix cfg_roots/start_symbol sync bug

Stevengre
and
claude
committed
feat: add reduction stats logging and cfg_roots integration test

Stevengre
and
claude
committed

Commits on Mar 30, 2026

Commits on Mar 31, 2026

cleanup: remove reduction stats logging from prove

Stevengre
and
claude
committed