search

runtimeverification / michelson-semantics

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

Remove the subsorting of `String` into `Address` #238

Closed hjorthjort closed 3 years ago

hjorthjort commented 3 years ago

To simplify proofs and get better warnings.

Implemented in #229, but should be separated into its own PR