search

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.
Other
17 stars 6 forks source link

Begin K spec for `set_manager` #201

Closed ehildenb closed 3 years ago

hjorthjort commented 3 years ago

https://gitlab.com/dexter2tz/dexter2tz/-/blob/8a5792a56e0143042926c3ca8bff7d7068a541c3/dexter.mligo#L377

https://gitlab.com/dexter2tz/dexter2tz/-/blob/8a5792a56e0143042926c3ca8bff7d7068a541c3/dexter.mligo.tz#L678

sskeirik commented 3 years ago

The proof of set manager is complete.