search

runtimeverification / wasm-semantics

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

Make IValType . TestOp Int total #570

Closed virgil-serbanuta closed 5 months ago