search

runtimeverification / mx-semantics

6 stars 1 forks source link

Booster improvements #288

Closed bbyalcinkaya closed 3 weeks ago

bbyalcinkaya commented 3 weeks ago

Fixes these fallbacks
rewrite KASMER.startPrank match
rewrite ELROND-CONFIG.memLoad-zero-length match
rewrite ELROND-NODE.appendToOutAccount definedness
rewrite ...mx-semantics/vmhooks/smallIntOps.md : (55, 10) definedness
rewrite ...mx-semantics/vmhooks/manBufOps.md : (164, 10) definedness