Update merged rule output - Githubissues

runtimeverification / polkadot-verification

Verification of Polkadot WASM code

Other

9 stars 6 forks source link

Update merged rule output #114

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

The various *init_locals* productions are correctly unparsed.
Infrastructure for inserting dots in cells in place.
Insert ... in <k> cell where appropriate before printing.

hjorthjort commented 4 years ago

Verified locally that #init_locals etc. work correctly now, nice!