search

runtimeverification / wasm-semantics

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

Add version information files for KWasm #577

Closed ehildenb closed 4 months ago

ehildenb commented 4 months ago

This adds the needed files for tracking project version in the repo.

Needed for https://github.com/runtimeverification/devops/pull/193.