Verify backward-compatibility instructions (13/14) (!777) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Daniel Hilst requested to merge 374-verify-backward-compatibility-instructions-13-14 into master Aug 29, 2022

Closes #374 (closed)

Verify:

ITicket
IRead_ticket
ISplit_ticket
IOpen_chest
IHalt
IJoin_tickets

Edited Aug 29, 2022 by Daniel Hilst