search

runtimeverification / wasm-semantics

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

Change pyk dependency to the published version #656

Closed tothtamas28 closed 1 week ago

tothtamas28 commented 1 week ago

Install pyk from PyPI instead of GitHub.