Issues · runtimeverification/polkadot-verification · GitHub

Labels Milestones New issue

Make a rule merging test specifically for this repository

#118

· hjorthjort opened

on Jul 22, 2020

Add a `kpframe` script for wrapping K around proofs for the Polkadot Host Frames

#105

· ehildenb opened

on May 28, 2020

Add log `<events>` to existing semantics

#59

· ehildenb opened

on Nov 21, 2019

Add `<accountSet>` cell, and update appropriately when accounts are added/deleted.

#58

· ehildenb opened

on Nov 21, 2019

Proof (Invariant): No zero-balance accounts

#57

· ehildenb opened

on Nov 21, 2019

Proof (Invariant): EntryAction does not allow balances between `0` and `<existentialDeposit>`

#56

· ehildenb opened

on Nov 21, 2019

Proof (Invariant): `<totalIssuance>` being the sum of balances in the state

#55

· ehildenb opened

on Nov 20, 2019

Project Roadmap

#42

· ehildenb opened

on Oct 3, 2019

Proposed Verification Approach

#20

· ehildenb opened

on Sep 5, 2019

Meeting Notes

#19

· ehildenb opened

on Sep 5, 2019

External function calls, what to do?

#9

· ehildenb opened

on Aug 23, 2019