Branches

• master default protected

  7569f4ff · Merge tezos/tezos!6784: doc: Rename to Octez - Sweep 2 · Dec 06, 2022
• master-with-coq-j-and-k

  9fea8f55 · removing asserts - actual · Nov 25, 2022
  !7
• master-with-coq-j-and-k-save-2022-12-06

  9fea8f55 · removing asserts - actual · Nov 25, 2022
  !14
• master-with-coq-j-and-k-save-2022-11-23

  74553100 · removing asserts - actual · Nov 07, 2022
• master-with-coq-j-and-k-with-two-commits

  74553100 · removing asserts - actual · Nov 07, 2022
• master-with-coq-j-and-k-save-2022-11-18

  b5d95182 · removing asserts - actual · Nov 04, 2022
• ak@test

  ba81c2fb · tests2 · Oct 06, 2022
• master-with-coq-j

  60abbbed · Proto: add coq-of-ocaml changes for proto K · Aug 24, 2022
  !6
• master-will-add-k-coq-of-ocaml-files

  77d50c29 · Merge master · Aug 24, 2022
• proto-k-on-master

  bc72f2cc · Merge with the last time proto K was in the proto_alpha/ folder · Aug 24, 2022
• proto-j-k

  07f944fa · Proto: last changes for proto J · Aug 23, 2022
• proto-j

  689d86e7 · Proto: have error_context as a non-GADT parameter for Coq · Aug 02, 2022
  !1
• guillaume-claret@proto_alpha-coq-of-ocaml-proto-j

  4e88e144 · Merge branch 'dhilst@proto_alpha-coq-of-ocaml-proto-j' into... · Jun 30, 2022
  !3
• shubham@remove_coq_attributes

  ade7d5d3 · update the merge conflicts without coq attributes after rebasing with master · Jun 29, 2022
  !2
• andrea@dal-sc-rollup-register-slot

  4ad39ccc · Tezt: Dal: rollup node subscribes to slots · Jun 15, 2022
• mehdi@split_transaction_to_contract

  68e60c9c · Proto: split Transaction_to_contract · Jun 15, 2022
• thomas.athorne@scoru-inbox-update

  8f5f460d · Proto: SCORU: docs; correct empty inbox behaviour · Jun 15, 2022
• scoru@wasm-integration

  3b6f0965 · SCORU: WASM: Instantiate module instance from tree · Jun 15, 2022
• jobjo@atomic-batch-operation

  48a3a0bb · Fixup: tests · Jun 15, 2022
• mehdi@transaction_to_sc_rollup

  45b2dcfe · Fixup: reuse tickets_of_transaction · Jun 15, 2022