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

runtimeverification / polkadot-verification

Verification of Polkadot WASM code

Other

9 stars 6 forks source link

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

Open ehildenb opened 4 years ago

ehildenb commented 4 years ago

Currently we have kpol which wraps KWasm + PolkadotHostRuntime (low-level specs). But we need one for the high-level specs to make working on the proofs there easier.