Update the protocol for proto-j
The goal is to update the generation of the protocol for the branch proto-j
of Tezos so that we are in sync with the next release of the protocol. Once it will actually be released and appear in a new folder proto_013_...
and we will find a way to translate this folder in addition to proto_alpha
.
There is currently this branch https://gitlab.com/clarus1/tezos/-/tree/guillaume-claret@proto_alpha-coq-of-ocaml-proto-j that is rebased on a recent version of proto-j
. You can open a MR to this branch and just do commits on top of it (no more rebases needed). These commits on the OCaml code are there to help fix the bugs. For each OCaml commit the two following commands should succeed:
time dune build @src/proto_alpha/check
time make fmt-ocaml
The branch on the Coq side: https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/396 There are changes to the blacklist to disable the compilation of the Proofs
to start with, they should be re-activated and fixed too.