search

runtimeverification / michelson-semantics

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

English spec `set_baker`, `set_manager`, `set_lqt_address` #190

Closed ehildenb closed 3 years ago