search

runtimeverification / michelson-semantics

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

Check that `wellTypedParams` isn't too strict. #281

Closed hjorthjort closed 3 years ago

nishantjr commented 3 years ago

Looks good. There are a few cases where it seems too weak, but that doesn't matter so long as the proofs go through.

Same with #runProof's ensures.