Branches

• guillaume-claret@proto_alpha-coq-of-ocaml-proto-j

  4e88e144 · Merge branch 'dhilst@proto_alpha-coq-of-ocaml-proto-j' into... · Jun 30, 2022
• guillaume-claret@proto_alpha-coq-of-ocaml

  9327a92d · Proto: add missing changes for coq-of-ocaml · Apr 08, 2022
  tezos/tezos!3303
• master default protected

  0788fe1f · Merge branch 'functori@deserialize-tx-rollup-expr-precheck' into 'master' · Apr 05, 2022
• guillaume-claret@proto_alpha-coq-of-ocaml-next

  29997fc9 · Proto: remove a warning from coq-of-ocaml · Mar 13, 2022
• guillaume-claret@upgrade-coq-of-ocaml.2.5.1

  64d99bfe · CI: upgrade coq-of-ocaml to 2.5.1 · Mar 02, 2022
  tezos/tezos!4610
• guillaume-claret@proto_alpha-coq-of-ocaml-save-2022-03-14

  02545fee · Proto: add @coq_struct on all non-obviously terminating functions · Feb 18, 2022
• guillaume-claret@proto_alpha-coq-of-ocaml-tx_rollup@l2

  fa8272be · Proto: compile compact_encoding in Coq · Jan 31, 2022
• guillaume-claret@remove-alpha-name-coq-of-ocaml

  f7a7e0b5 · Proto: fix protocol name in coq-of-ocaml config · Jan 20, 2022
  tezos/tezos!4258
• guilaume-claret@remove-coq-of-ocaml-ci

  fb6b3e29 · Proto: remove coq-of-ocaml from the ci · Oct 26, 2021
  tezos/tezos!3726
• guillaume-claret@remove-coq-lint-rule

  ade1ed40 · Proto: remove the coq:lint rule · Sep 06, 2021
• guillaume-claret@token-management-coq-of-ocaml

  3c3fcd7a · Proto: remove unneeded coq-of-ocaml annotation · Jul 21, 2021
  !2
• rafoo@coq-of-ocaml-on-script_ir_translator

  d7c455d6 · annotate unparse_comparable_data · Jul 13, 2021
• guillaume-claret@compiling-in-coq-rebased-with-mli-arm64-no-annots-merge-flo

  c4a375e9 · Proto: merge with Florence · Jun 25, 2021
• guillaume-claret@coq-of-ocaml-june-2021

  456cd849 · Proto: add fixpoint annotations for coq-of-ocaml · Jun 24, 2021
• add-coq-env-ci

  2de3772c · Proto: small fix · Jun 24, 2021
  tezos/tezos!3120
• guillaume-claret@test-compile-extracted-code

  c0e11a53 · WIP · Feb 27, 2021
• guillaume-claret@compiling-in-coq-rebased-with-mli-arm64-no-annots

  36e36fe3 · Protocol/coq-of-ocaml: add changes to compile the exceptions · Feb 18, 2021
• guillaume-claret@fix-coq-of-ocaml-config

  0d4ccb7b · Protocol/coq-of-ocaml: fix the configuration file · Feb 02, 2021
  tezos/tezos!2525
• guillaume-claret@no-annot

  ee161f06 · Tests/python: 7.2: update regtest outputs · Feb 02, 2021
• guillaume-claret@compiling-in-coq-rebased-with-mli-arm64

  b8907292 · Protocol/coq-of-ocaml: add helpful type annotations · Feb 02, 2021