search

runtimeverification / michelson-semantics

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

Begin K spec for `update_token_pool` #206

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

We'll start with a version that does not use #207 to make progress, then we'll migrate to using the <operations> cell as well.