search

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K
Other
78 stars 22 forks source link

Distribute scripts with `pykwasm` #609

Closed tothtamas28 closed 5 months ago

tothtamas28 commented 5 months ago

The Python package becomes standalone with this change, so the submodule can be removed downstreams.