runtimeverification / polkadot-verification

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

Add log `<events>` to existing semantics #59

Open ehildenb opened 4 years ago

ehildenb commented 4 years ago

Currently only set_free_balance and set_reserved_balance actually emit the relevant <events>.

The rest of the model should be updated to do this when appropriate too.