search

runtimeverification / polkadot-verification

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

Merged rules #116

Open hjorthjort opened 4 years ago

hjorthjort commented 4 years ago

This set of rules were generated before we added the new sequencing rules to KWasm. So they may not be representative anymore. But here is what they look like after a little bit of cleanup. Included is a list of the necessary massaging changes.

hjorthjort commented 4 years ago

Run ./search.py show-merged to get a printed trace of the merged rules that get used, and their line numbers in the kwasm-polkadot-host.md file.