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

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

Part of #370 (closed)

Verify the instrunctions

IBlake2b
ISha256
ISha512
ISource
ISender
IAmount
ISapling_emtpy_state

Edited Aug 25, 2022 by Daniel Hilst