Repository navigation

Add simplification to mcd-structured verification module - #2828

Merged

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

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
  d00b4e7
Commits on Dec 15, 2025
- Merge branch 'master' into simplify-mcd-structured-proofs-rebased
  anvacaru
  authored
  4f7c716