search

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K
Other
74 stars 18 forks source link

mark signed load instruction as preserving #654

Closed jberthold closed 2 weeks ago

jberthold commented 2 weeks ago

Removes fall-backs observed during the coindrip proof run

Location Reason Count ID
...source/wasm-semantics/wasm.md : (1475, 10) definedness 16 rewrite 3f818ef