search

runtimeverification / michelson-semantics

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

proofs/return-spec: Fix warnings: rule => claim #213

Closed hjorthjort closed 3 years ago

hjorthjort commented 3 years ago

I moved this to it's on PR since it has nothing to do with the set-manager-spec. Thanks for finding it!