search

runtimeverification / polkadot-verification

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

Latest Substrate not building with our toolchain #102

Closed hjorthjort closed 4 years ago

hjorthjort commented 4 years ago

PR #101 removes building substrate from our CI because it fails with our current tools. It is not necessary for our current rule merging and proving work. But we do want to be able to build the newest Substrate so that we can use the new host function API. PR #100 attempted to update it but fails to build.

hjorthjort commented 4 years ago

Fixed tentatively by #103. PR #100 updates the substrate module to the version from February 1, 2020.