search

runtimeverification / polkadot-verification

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

Source updates #81

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

We haven't updated the generated source code in a while, which has led to some inconsistencies in how K reads/writes KAST terms and how we're storing them.

This also updates to the newest version of wabt (used for wasm2wat), and gives K more memory for generating the files which are updated in this PR.

ehildenb commented 4 years ago

Note that the files in src/... are generated and stored, instead of being regenerated each time. The don't take overly long to produce, src/polkadot-runtime.wat.json takes roughly 42GB RAM to produce, so better to just commit it.