issues
search
runtimeverification
/
michelson-semantics
A K semantics of Tezos' Michelson language.
Other
17
stars
6
forks
source link
Abstract storage representation: https://gitlab.com/dexter2tz/dexter2tz/-/blob/8a5792a56e0143042926c3ca8bff7d7068a541c3/dexter.mligo#L75
#191
Closed
ehildenb
closed
3 years ago