search

runtimeverification / michelson-semantics

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

Dexter compiled macros #204

Closed hjorthjort closed 3 years ago

hjorthjort commented 3 years ago

Fixes: #200

Macros #dexterCode and #dexterCodeFA2 that represent the compiled code. The code is copied verbatim, and some macros are added to make that possible.