368-verify-backward-compatibility-instructions-7-14 (!801) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Andrey Klaus requested to merge ak@368-verify-backward-compatibility-instructions-7-14 into master Sep 09, 2022

Addresses #368

Edited Sep 13, 2022 by Andrey Klaus