search

runtimeverification / wasm-semantics

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

Optional table indices #667

Closed gtrepta closed 2 days ago

gtrepta commented 5 days ago

Fixes: #661

https://webassembly.github.io/spec/core/text/instructions.html#id1