feat: Z3 verification for bulk memory operations (#58)#66

Merged

avrabe merged 3 commits intomainfrom

feat/z3-bulk-memory-verification

Mar 28, 2026

Commits on Mar 28, 2026

fix: reduce EMI stress test iterations to prevent CI timeout (#57)

avrabe
and
claude
committed
feat: add Z3 verification for bulk memory operations (#58)

avrabe
and
claude
committed
style: fix rustfmt formatting

avrabe
and
claude
committed