search

runtimeverification / michelson-semantics

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

Remove liquidity remaining negative cases #269

Closed hjorthjort closed 3 years ago

hjorthjort commented 3 years ago

Closes #232

hjorthjort commented 3 years ago

Note: we're still missing cases where we get mutez overflows, should we cover them too?