search

runtimeverification / wasm-semantics

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

Remove `kwasm.sh` #618

Closed tothtamas28 closed 2 months ago

tothtamas28 commented 2 months ago

Removes kwasm.sh, and implements commands kwasm {run,kast,prove} in kwasm.py instead.

ehildenb commented 2 months ago

@tothtamas28 please start including descriptions in teh PR main text. It only takes a minute to write.