Verify backward-compatibility instructions (9/14), Part 2 (!769) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Daniel Hilst requested to merge 370-verify-backward-compatibility-instructions-9-14-part-2 into master Aug 23, 2022

Part of #370 (closed) Continuation of !767 (merged)

Finish the proofs of the instructions

ISapling_verify_udpate
ISelf
ISelf_address

Edited Aug 25, 2022 by Daniel Hilst