search

runtimeverification / michelson-semantics

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

Move text from draft doc to report: #285

Closed hjorthjort closed 3 years ago

hjorthjort commented 3 years ago

https://docs.google.com/document/d/1-aJQlZAzgU6K9pKyU879aOwGxkl8pPT2_Vw4wUM6Nag/edit#heading=h.8pnfiakkkgmo

https://docs.google.com/document/d/1AokuG6_KRepO5h_9E0nI57yP6uCdg974PDRNnc_keo0/edit