search

runtimeverification / polkadot-verification

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

Update to latest substrate (2.0.0-rc4) #119

Closed FlorianFranzen closed 4 years ago

FlorianFranzen commented 4 years ago

This is a pull request to track the latest state of the ongoing effort to update the balance spec to the latest version of substrate.

FlorianFranzen commented 4 years ago

Should probably be replaced by the actual polkadot and kusama runtime instead, so this is on hold for now.