Lemmas and symbolic execution improvements - #67

Draft

bbyalcinkaya wants to merge 5 commits into

symbolic-execution

Commits on Jul 15, 2026

add `preserves-definedness` to `newEmptyModule`
bbyalcinkaya
committed
a17f289

Commits on Jul 21, 2026

allow blockchain state changes in post-execution check
bbyalcinkaya
committed
05425ef
make bitwise rules concrete
bbyalcinkaya
committed
5fd2143
refactor `toSmallValid`/`getTag`
bbyalcinkaya
committed
98de848

Commits on Aug 12, 2026

add lemmas
bbyalcinkaya
committed
fee3acf