Update dependency: deps/wasm-semantics - Githubissues

runtimeverification / polkadot-verification

Verification of Polkadot WASM code

Other

9 stars 6 forks source link

Update dependency: deps/wasm-semantics #98

Closed rv-jenkins closed 4 years ago

ehildenb commented 4 years ago

This is blocked on https://github.com/runtimeverification/polkadot-verification/pull/100