search

runtimeverification / michelson-semantics

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

Update dexter properties #256

Closed daejunpark closed 3 years ago

daejunpark commented 3 years ago

@sskeirik thanks for your review. i addressed all your comments. please take a look. i also put the automerge label. i can improve further as separate prs. thanks!