From 5f302f0a3bd238b22a9813cb581a004713f39185 Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Tue, 19 Jan 2021 10:48:25 +0100 Subject: [PATCH 1/2] Dependencies: upgrade coq-of-ocaml to the version 2.3.0 --- src/tooling/tezos-tooling.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tooling/tezos-tooling.opam b/src/tooling/tezos-tooling.opam index e698884910df..f2414046691f 100644 --- a/src/tooling/tezos-tooling.opam +++ b/src/tooling/tezos-tooling.opam @@ -6,7 +6,7 @@ bug-reports: "https://gitlab.com/tezos/tezos/issues" dev-repo: "git+https://gitlab.com/tezos/tezos.git" license: "MIT" depends: [ - "coq-of-ocaml" { = "2.2.1" } + "coq-of-ocaml" { = "2.3.0" } "dune" { >= "2.0" } "ocamlformat" { = "0.10" } "bisect_ppx" { >= "2.3" } -- GitLab From ffd552281e9b303f38fdd63cd74290a4de8d4d70 Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Wed, 20 Jan 2021 10:31:30 +0100 Subject: [PATCH 2/2] Protocol/coq-of-ocaml: reduce the black-list size --- src/proto_alpha/lib_protocol/coq-of-ocaml/config.json | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json b/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json index a064cb2785fe..6fa0f29dc5b6 100644 --- a/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json +++ b/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json @@ -17,25 +17,16 @@ "contract_hash.ml", "contract_repr.ml", "helpers_services.ml", - "lazy_storage_diff.ml", "lazy_storage_kind.ml", "level_repr.ml", "main.mli", - "michelson_v1_gas.ml", "misc.ml", "nonce_hash.ml", - "raw_context.ml", - "raw_context.mli", - "raw_level_repr.ml", "script_expr_hash.ml", - "script_interpreter.ml", "script_ir_translator.ml", "state_hash.ml", "storage_functors.ml", - "storage_functors.mli", "storage.ml", - "storage_sigs.ml", - "tez_repr.ml", "voting_period_repr.ml" ], "error_message_blacklist": [ -- GitLab