search

runtimeverification / wasm-semantics

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

Untyped Data Structures #647

Closed bbyalcinkaya closed 2 weeks ago

bbyalcinkaya commented 3 weeks ago

Replaced these data structures with builtin versions