search

runtimeverification / wasm-semantics

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

Move K files into a separate directory #608

Closed tothtamas28 closed 3 months ago

tothtamas28 commented 3 months ago

THis provides a namespace when requiring files from a K definition.