Add simplification to mcd-structured verification module#2828

Merged

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

simplify-mcd-structured-proofs-rebased

Dec 15, 2025

Commits on Dec 14, 2025

add simplification to mcd-structured verification module (buf ==K nullbytes)
jberthold
committed

Commits on Dec 15, 2025

Merge branch 'master' into simplify-mcd-structured-proofs-rebased
anvacaru
authored