Skip to content

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

Merged
automergerpr-permission-manager[bot] merged 7 commits into
masterfrom
srs/multiple_roots_closure
Mar 31, 2026
Merged

Teach kmir to reduce SMIR K definitions over a set of CFG roots#845
automergerpr-permission-manager[bot] merged 7 commits into
masterfrom
srs/multiple_roots_closure

cleanup: remove reduction stats logging from prove

f261c3b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.