search

runtimeverification / polkadot-verification

Verification of Polkadot WASM code
Other
10 stars 6 forks source link

Demonstrate that merged rules get used during execution #120

Open hjorthjort opened 4 years ago