search

runtimeverification / polkadot-verification

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

Update substrate version used #100

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

This updates the Substrate submodule to the most recent one which does not remove the explicit set_free_balance function in the Wasm code. Any updates beyond that point will require us to change the way we invoke the functions to be consistent with the new generated code in the rule merger.

ehildenb commented 4 years ago

@hjorthjort I don't think those changes matter that much, probably those values are hashes of some chunks of the code. It does matter that the function names used in search.py actually match those in src/polkadot-runtime.wat.