Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
145 commits
Select commit Hold shift + click to select a range
79c4675
Docs: add the concept of MR's owner.
Sventimir Mar 15, 2022
881829a
Merge branch 'sventimir@docs-mr-owner' into 'master'
Mar 15, 2022
9602d62
Tezt: add --test-arg / -a
Mar 14, 2022
ee65c39
Tezt: drop Cli.init, TPS: refactor the app
mrkkrp Mar 14, 2022
456bdd0
Merge branch 'mkarpov@drop-tezt-cli-init-refactor-tps-app' into 'master'
Mar 15, 2022
b305ab7
Proto-compiler,Proto-updater: convert to newer let* syntax
raphael-proust Mar 14, 2022
083dd96
Proto-updater: minor code improvement
raphael-proust Mar 16, 2022
1a5254c
Merge branch 'raphael-p@convert-proto-comp-and-updater-to-newer-let-s…
Mar 16, 2022
49dcef3
Manifest: lib_sc_rollup
Mar 14, 2022
cdc8a04
Merge branch 'richard-lib-sc-rollup' into 'master'
Mar 16, 2022
1b4db40
Error_monad: document limitations of the error_encoding
raphael-proust Mar 2, 2022
70e4e82
Error_monad: add json+registration test
raphael-proust Mar 2, 2022
29083ea
Error_monad: introduce hack to clear json-encoding cache of error_enc…
raphael-proust Mar 3, 2022
e604173
Error_monad: add documentation to JSON-hack test
raphael-proust Mar 14, 2022
6fe3422
Merge branch 'rapahel-p@small-doc-commit-about-the-limitations-of-err…
Mar 16, 2022
f7f23db
Proto: Use inbox level to speed up conflict point detection (#2454)
vapourismo Mar 9, 2022
861584d
Proto: Make SCORU conflict detection fail early
vapourismo Mar 15, 2022
0c5a9ce
Merge branch 'conflict-point' into 'master'
Mar 16, 2022
d78a996
node: add new command 'dump-metrics'
abate Mar 9, 2022
c054b41
doc: add doc for openmetrics
abate Mar 9, 2022
68198a6
Merge branch 'abate@metrics-doc' into 'master'
Mar 16, 2022
7f37ed7
Everywhere: use the `let*` of QCheck Gens rather than the infix binds
raphael-proust Mar 14, 2022
26097bc
Everywhere: minor improvement in Qcheck generators
raphael-proust Mar 15, 2022
80ce515
Merge branch 'raphael-p@use-let-star-in-qcheck-tests' into 'master'
Mar 16, 2022
8a35a4c
Proto/Michelson: introduce ty_ex_c
mbouaziz Oct 4, 2021
780036a
Proto/Michelson: add a 4th parameter to Pair_t constructor
mbouaziz Feb 26, 2022
e118125
Proto/Michelson: add a 4th parameter to Union_t constructor
mbouaziz Feb 26, 2022
117cc33
Proto/Michelson: add a 3rd parameter to Option_t constructor
mbouaziz Feb 26, 2022
6348cc5
Proto/Tests: adapt cache size hardcoded values
mbouaziz Mar 14, 2022
dc7956f
Merge branch 'mehdi@prep_unite_types' into 'master'
Mar 16, 2022
a1d9723
CI: switch to Docker 20.10.12 socket binding
Mar 15, 2022
b01a30d
Merge branch 'davdumas@docker-socket' into 'master'
Mar 16, 2022
47ab32c
Tezt/Tx_rollup: expose rpc port and addr of a tx_rollup_node
vect0r-vicall Feb 28, 2022
cf4b0e1
Tezt/Tx_rollup: test the ticket deposit (l1 to l2)
vect0r-vicall Feb 28, 2022
24c63c0
Tezt/Tx_rollup: test l2 to l2 transfers
vect0r-vicall Mar 3, 2022
fe234ed
Merge branch 'vicall@tx_test_ticket' into 'master'
Mar 16, 2022
b2829a1
Manifest: bin_accuser
Mar 14, 2022
11e243d
Merge branch 'richard-bin-accuser' into 'master'
Mar 16, 2022
de1b47a
doc: split Error Monad into 4 subfiles
solled Mar 7, 2022
054ea7a
Merge branch 'sol-develop' into 'master'
Mar 16, 2022
670fdd6
Proto: SCORU: Add test for double free
ferilata Mar 14, 2022
6fbec91
Proto: SCORU: Fix double free
ferilata Mar 14, 2022
8aef700
Merge branch 'hans@scoru-fix-double-free' into 'master'
Mar 16, 2022
9941941
Docs: update incorrect consensus documentation
Mar 16, 2022
eaba30a
Merge branch 'vbot@fix-doc' into 'master'
Mar 16, 2022
774830d
protocol-env: Expose missing context config type equality
Ngoguey42 Mar 15, 2022
e09e014
Merge branch 'with-type-context-config' into 'master'
Mar 16, 2022
f4caa13
lib_context: use the minimal indexing strategy
icristescu Dec 1, 2021
18c30d4
lib_store: always index during snapshot import
craigfe Mar 14, 2022
40a488e
lib_context: add an environment variable for the indexing strategy
craigfe Mar 14, 2022
3965789
Merge branch 'minimal-indexing-strategy' into 'master'
Mar 16, 2022
b10e1b0
Scoru/Client: introduce an instance of Client_context
picdc Mar 9, 2022
710f9ed
Score/Client: use sc_client_context instead of the configuration
picdc Mar 9, 2022
cfb234f
Merge branch 'pierrick@scoru-client-context' into 'master'
Mar 16, 2022
c1299da
Tx_rollup: fix spelling of error Submit_batch_burn_exceeded
arvidj Mar 16, 2022
0e0e73a
Merge branch 'arvid@tx_rollup@spelling-exceeded' into 'master'
Mar 17, 2022
cd1c8ea
Proto,tx_rollup: Freeze and unfreeze stakable bond
lthms Mar 14, 2022
1ed7b9c
Proto,tx_rollup: Slash bond of the committer and reward the accuser
lthms Mar 14, 2022
433317b
Merge branch 'tx_rollup@bonds' into 'master'
Mar 17, 2022
c58fc7d
Manifest: bin_baker
Mar 14, 2022
4bb3857
Merge branch 'richard-bin-baker' into 'master'
Mar 17, 2022
9f33b93
Proto,SCORU: Add a concept of Tick to count exec steps
Mar 7, 2022
b786a00
Proto,SCORU: Define the semantics of PVM
Feb 16, 2022
4988978
Proto,SCORU: Add encoding for sc rollup PVM boot sector
Mar 10, 2022
d299b72
Proto,SCORU: Add a conversion from boot_sector to string
Mar 7, 2022
2a4be81
Proto,SCORU: Assign a semantic to the example arith rollup
Mar 7, 2022
11fa1d5
Proto,SCORU: Add proof start/end state hash
Mar 14, 2022
c3b9239
Proto,SCORU: Remove abstraction of boot_sector type
Mar 15, 2022
0152b65
Merge branch 'scoru@add-pvm-execution-model' into 'master'
Mar 17, 2022
f84f5ed
Proto/Michelson: feature flag tx rollup addresses in elaboration
arvidj Feb 17, 2022
5a897e6
Merge branch 'arvid@tx_rollup@l1-inbox--typecheck' into 'master'
Mar 17, 2022
afc9627
Docs: convert code to use `let*` rather than infix binders
raphael-proust Mar 14, 2022
c884c3e
Merge branch 'raphael-p@convert-docs-to-let-syntax' into 'master'
Mar 17, 2022
6e5933a
Tx_rollup,Proto: distinguish [Transfer] and [Withdraw] for type safety
vch9 Mar 11, 2022
46cae04
Tx_rollup,Proto: allow signer field to be a layer2 address
vch9 Mar 11, 2022
a3346e8
Tx_rollup,Proto: small typo
vch9 Mar 14, 2022
3508b15
Tx_rollup,Proto: forbid a transfer to self
vch9 Mar 14, 2022
2062781
Tx_rollup,Proto: forbid transfer of zero ticket
vch9 Mar 14, 2022
0716d6d
Merge branch 'tx_rollup@finalize-operation-content' into 'master'
Mar 17, 2022
34c618d
Proto: add Merkle_list module for TORU
Mar 15, 2022
90eb374
Merge branch 'alocascio@merkle-list' into 'master'
Mar 18, 2022
4c45538
Sapling: convert code to newer `let*` syntax
raphael-proust Mar 14, 2022
ca8be25
Merge branch 'raphael-p@convert-sapling-to-newer-let-star-syntax' int…
Mar 18, 2022
000f3fa
Proto/Michelson: add a type parameter to ty
mbouaziz Oct 4, 2021
377abf9
Proto/Michelson: add dependent bools
mbouaziz Oct 4, 2021
101de37
Proto/Michelson: constraint comparable character of ty
mbouaziz Oct 4, 2021
c945398
Proto/Michelson: add parameters to Pair_key, Union_key, Option_key
mbouaziz Feb 26, 2022
9cbe8c8
Merge branch 'mehdi@comparable_witness' into 'master'
Mar 18, 2022
98ab005
Proto-env,Proto-updater: Use local (rather than global) return/fail
raphael-proust Mar 15, 2022
117640e
Protos: Use local (rather than global) return/fail
raphael-proust Mar 15, 2022
9061720
Merge branch 'raphael-p@avoid-using-globals-return-and-fail-prefer-lo…
Mar 18, 2022
b9044a8
Proto/Test: Expr_common: make ~loc argument optional
arvidj Mar 17, 2022
17bda1b
Tx_rollup: impose size limit on ticket contents in deposits
arvidj Mar 18, 2022
1bed28f
Merge branch 'arvid@tx_rollup@impose-ticket-size-limit' into 'master'
Mar 18, 2022
fc524e9
Proto/Tx-rollup: bound the number of withdrawals per L2 message
iguerNL Mar 17, 2022
c9dcc55
Tests/Tx_rollup: add units tests for maximum withdrawals per batch
iguerNL Mar 18, 2022
e15b75e
Merge branch 'functori@tx_rollup@max_nb_withdraws' into 'master'
Mar 18, 2022
7669a68
Proto Alpha: refactor patched contracts tests for re-usability.
Sventimir Mar 10, 2022
9d3fd72
Proto Alpha: Add another test for patched contracts.
Sventimir Mar 10, 2022
74b29a8
Proto Alpha: Upgrade the patched contracts to newest Michelson.
Sventimir Mar 11, 2022
518ba72
Merge branch 'sventimir@improve-patched-contracts-tests' into 'master'
Mar 18, 2022
c693cf9
Tezt: add --title, same as --test
Mar 16, 2022
dbffb9b
Merge branch 'romain-tezt-title' into 'master'
Mar 18, 2022
f46eb23
Protocol/Tx_rollup: Implement the merklisation of inboxes
saroupille Mar 14, 2022
382bd82
Tezt: Update regressions for failing tests
lthms Mar 19, 2022
8d1527e
Merge branch 'francois@merkelized-tx-inboxes' into 'master'
Mar 19, 2022
13f7051
Tezt: print file in failing test error message
arvidj Mar 16, 2022
701ebaf
Merge branch 'arvid@tezt-print-file-in-fail-error-message' into 'master'
Mar 19, 2022
461bc6d
Proto/ticket table: use table of ticket for deposit and withdraw
Mar 14, 2022
254a9bd
Merge branch 'tx_rollup@ticket_accounting' into 'master'
Mar 19, 2022
7ec877c
Proto/Michelson-Plugin: move script back from translator to ir.
gh-naih Mar 16, 2022
3fc29aa
Proto/Michelson: enrich the origination application with a parsed scr…
gh-naih Mar 7, 2022
846b5ad
Proto/Michelson: enrich create_contract with a lambda.
gh-naih Feb 16, 2022
09da053
Proto/Michelson: enrich the origination internal operation.
gh-naih Feb 7, 2022
80ae35f
Proto/Tests: typed scripts in originations.
gh-naih Mar 7, 2022
8ec3785
Proto/Michelson: optimize tickets_of_origination.
gh-naih Mar 16, 2022
59e94ce
Proto/Michelson: remove preoriginations from external originations.
gh-naih Mar 7, 2022
45bc460
Tests: update regression tests gas.
gh-naih Mar 15, 2022
c3865a9
Proto/Michelson: simplify using the preorigination.
gh-naih Mar 17, 2022
fa9d3b2
Proto/Michelson: fix a comment.
gh-naih Mar 18, 2022
83dfadf
Merge branch 'naih@enrich-origination-internal-operation' into 'master'
Mar 21, 2022
a014136
Tezt: add missing ?hooks arguments
Mar 14, 2022
cb90ac1
Merge branch 'romain-tezt-hooks' into 'master'
Mar 21, 2022
6cab9d0
CI/Tezt: run self tests in the CI
arvidj Mar 19, 2022
88abd0b
Merge branch 'arvid@tezt-fix-self-tests' into 'master'
Mar 21, 2022
08eaf03
Manifest: support opam's description field
raphael-proust Mar 17, 2022
2526312
Proto-env: simplify build, keep only one opam package
raphael-proust Mar 16, 2022
2bd62d7
Merge branch 'raphael-p@single-opam-package-environemtn' into 'master'
Mar 21, 2022
5521152
Docs/Proto/script_ir_translator: units in script/code_size docs
arvidj Mar 16, 2022
07219c2
Merge branch 'arvid@docs-units-for-script-code-size' into 'master'
Mar 21, 2022
64a89ea
Proto,tx_rollup: Refactor the Tx_rollup_state_repr module
lthms Mar 18, 2022
c2dd690
Tx_rollup,Proto: expose [init_counter] for addresses and tickets
vch9 Mar 10, 2022
1b1656c
Proto,alpha: Verify proofs submitted during a rejection
novalis Mar 8, 2022
e42ef65
Doc: temporary: make warnings don't make the job fail
vch9 Mar 18, 2022
5eecf6b
Merge branch 'tx_rollup@reject-stream-proof-with-verify1' into 'master'
Mar 21, 2022
7c4727d
Proto: remove unused function
novalis Feb 28, 2022
4960b02
Merge branch 'cruft' into 'master'
Mar 21, 2022
2c9a6cc
Tx_rollup,Proto: fix expected field for [Counter_mismatch]
vch9 Mar 21, 2022
b1bf730
Merge branch 'vch9@l2-counter-error' into 'master'
Mar 21, 2022
d23b86b
Env v5: use Bls12_381.MinSig instead of Bls12_381.MinPk
dannywillems Feb 22, 2022
c01ce7e
Merge branch 'dannywillems-try-moving-to-minsig' into 'master'
Mar 21, 2022
79134b1
lib_context: update to irmin.3.2.0
Mar 21, 2022
66d9a6c
proto_alpha: update to irmin.3.2.0
Mar 21, 2022
81adcd3
Expose inodes in the snapshot format
Mar 2, 2022
173f692
wip
Mar 21, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,7 @@ __pycache__
/tezos-codec
/tezos-snoop
/tezos-tps-evaluation
/tezos-tps-evaluation-*
/tezos-sc-rollup-node-*
/tezos-sc-rollup-client-*

Expand Down
2 changes: 1 addition & 1 deletion .gitlab/ci/build_release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
.build_docker_release_template:
extends:
- .default_settings_template
- .image_template__latest # Docker-in-Docker (dind)
- .image_template__docker
- .docker_registry_auth # Sets up a before_script
variables:
IMAGE_ARCH_PREFIX: ""
Expand Down
2 changes: 1 addition & 1 deletion .gitlab/ci/publish_release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ release-on-gitlab:
docker:merge_manifests:
extends:
- .rules_template__master_and_releases
- .image_template__latest # Docker-in-Docker (dind)
- .image_template__docker
- .docker_registry_auth # Sets up a before_script
stage: publish_release
# this job does not need artifacts from previous jobs.
Expand Down
29 changes: 8 additions & 21 deletions .gitlab/ci/templates.yml
Original file line number Diff line number Diff line change
Expand Up @@ -32,28 +32,15 @@ variables:
.image_template__runtime_prebuild_dependencies_template:
image: ${build_deps_image_name}:runtime-prebuild-dependencies--${build_deps_image_version}

# We should only use the latest version of Docker for experimental features (ex: docker manifest)
.image_template__latest:
# Match GitLab executors version and directly use the Docker socket
# The Docker daemon is already configured, experimental features are enabled
# The following environment variables are already set:
# - BUILDKIT_PROGRESS
# - DOCKER_DRIVER
# - DOCKER_VERSION
# https://docs.gitlab.com/ee/ci/docker/using_docker_build.html#use-docker-socket-binding
.image_template__docker:
image: docker:20.10.12
services:
- name: docker:20.10.12-dind
command: ["--experimental"]
variables:
DOCKER_DRIVER: overlay2
DOCKER_BUILDKIT: 1
BUILDKIT_PROGRESS: plain

# We should use the stable version to build Docker images (this template is not used at the moment)
# Match the GitLab runners/executors version for Docker-in-Docker
# https://gitlab.com/nomadic-labs/iac/packer/pck-aws-baseimage/-/blob/master/roles/docker-ubuntu.yaml
.image_template__stable:
image: docker:19.03.15
services:
- docker:19.03.15-dind
variables:
DOCKER_DRIVER: overlay2
DOCKER_BUILDKIT: 1
BUILDKIT_PROGRESS: plain

# Rules template

Expand Down
9 changes: 9 additions & 0 deletions .gitlab/ci/test/tezt.yml
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,15 @@ tezt:build-long:
script:
- dune build @tezt/long_tests/check

# Tests tezt itself
tezt:self_tests:
extends:
- .build_template
- .rules_template__development
stage: test
script:
- dune runtest tezt/self_tests/

# Note: if you reactivate this test and if you keep it manual, put it in the "manual" stage.
#
#tezt:manual:migration:
Expand Down
3 changes: 3 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -309,6 +309,9 @@ build-tps-deps:
build-tps: lift-protocol-limits-patch build build-tezt
@dune build ./src/bin_tps_evaluation
@cp -f ./_build/install/default/bin/tezos-tps-evaluation .
@cp -f ./src/bin_tps_evaluation/tezos-tps-evaluation-benchmark-tps .
@cp -f ./src/bin_tps_evaluation/tezos-tps-evaluation-estimate-average-block .
@cp -f ./src/bin_tps_evaluation/tezos-tps-evaluation-gas-tps .

.PHONY: docker-image-build
docker-image-build:
Expand Down
12 changes: 9 additions & 3 deletions docs/Makefile
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
# You can set these variables from the command line.
SPHINXOPTS = -j auto -aE -n -W --keep-going
# FIXME: https://gitlab.com/tezos/tezos/-/issues/2680
# The [-W] flag is temporary disabled
SPHINXOPTS = -j auto -aE -n --keep-going
SPHINXBUILD = poetry run sphinx-build
SPHINXPROJ = Tezos
SOURCEDIR = .
Expand Down Expand Up @@ -98,6 +100,10 @@ api/errors.rst: $(DOCERRORDIR)/error_doc.ml
@cd .. && dune build docs/$(DOCERRORDIR)/error_doc.exe
../_build/default/docs/$(DOCERRORDIR)/error_doc.exe > api/errors.rst

developer/metrics.csv:
make -C ../ tezos-node
../tezos-node dump-metrics > developer/metrics.csv

$(DOCGENDIR)/rpc_doc.exe:
@cd .. && dune build docs/$(DOCGENDIR)/rpc_doc.exe

Expand All @@ -122,7 +128,7 @@ install-dependencies:

# Catch-all target: route all unknown targets to Sphinx using the new
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
html: Makefile api/errors.rst rpc p2p install-dependencies
html: Makefile api/errors.rst developer/metrics.csv rpc p2p install-dependencies
(echo ':orphan:'; echo ''; cat ../CHANGES.rst) > CHANGES-dev.rst
@$(SPHINXBUILD) -b html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS)
@ln -s active "$(BUILDDIR)/hangzhou" || true
Expand Down Expand Up @@ -168,5 +174,5 @@ lint: pylint pycodestyle lint_black

clean:
@-rm -Rf "$(BUILDDIR)"
@-rm -Rf api/errors.rst active/rpc.rst hangzhou/rpc.rst ithaca/rpc.rst alpha/rpc.rst shell/rpc.rst shell/p2p_api.rst user/default-acl.json CHANGES-dev.rst
@-rm -Rf api/errors.rst developer/metrics.csv active/rpc.rst hangzhou/rpc.rst ithaca/rpc.rst alpha/rpc.rst shell/rpc.rst shell/p2p_api.rst user/default-acl.json CHANGES-dev.rst
@-rm -Rf api/tezos-*.html api/tezos-*.txt active/tezos-*.html hangzhou/tezos-*.html ithaca/tezos-*.html alpha/tezos-*.html
8 changes: 3 additions & 5 deletions docs/alpha/consensus.rst
Original file line number Diff line number Diff line change
Expand Up @@ -145,16 +145,14 @@ Validator selection: staking balance, active stake, and frozen deposits

Validator selection is based on the stake, as in Emmy*, with the exception that
it is based on the delegate's *active stake* instead of its *staking
balance* (or rather the corresponding rolls.
**NB**: rolls do not play a
role anymore, except for establishing a minimum required staking
balance). Let us first (re)define these and related concepts.
balance*. Let us first (re)define these and related concepts.

- The *(maximal) staking balance* of a delegate is its full balance (i.e. all the tokens owned by the delegate) plus the
balances of all accounts that have delegated to it.
It must be at least ``TOKENS_PER_ROLL`` tez, otherwise the delegate cannot be selected as a validator.
- The *active stake* of a delegate is the amount of tez with which
it participates in consensus. It is at most its
staking balance. It must be at least ``TOKEN_PER_ROLL`` tez. We explain below how it is computed.
staking balance. We explain below how it is computed.
- The *frozen deposit* represents a percentage ``FROZEN_DEPOSIT_PERCENTAGE``
of the maximum active stake during the last ``PRESERVED_CYCLES + MAX_SLASHING_PERIOD``. This amount
represents the delegate's skin in the game: in the case that the
Expand Down
21 changes: 20 additions & 1 deletion docs/developer/contributing.rst
Original file line number Diff line number Diff line change
Expand Up @@ -441,11 +441,30 @@ Merge Request "Draft" Mode
A merge request that is not yet ready for review should be marked
as `draft <https://docs.gitlab.com/ee/user/project/merge_requests/drafts.html>`_
by prefixing its title with ``Draft:``.
On ``tezos/tezos`` draft merge requests are ignored by reviewers.
On ``tezos/tezos`` draft merge requests that are assigned to their owners
are ignored by reviewers.
Marking merge requests as draft hence helps lower
the number of merge requests that require attention from the
:doc:`Octez merge team<merge_team>`.

Merge Request's owner
~~~~~~~~~~~~~~~~~~~~~

Usually the person who has created a Merge Request is also responsible for
pushing it forward: finding reviewers, addressing their comments and so on.
Occasionally though it happens that the author has to move to more pressing
tasks and hands his MR over to another person to finish. This is a problem,
because an MR assigned to its author has sort of a special status – it
informs everyone that the branch is likely to change at any moment. When an
MR is handed over, we lose that important information.

For this reason, when take-over happens, it's useful to make that explicit.
The person taking over should put a comment informing about this so that
everyone knows that the person attending to the MR changes. Also the
description should be updated to reflect that information. It is suggested to
prefix the description with a line specifying the MR's owner if that's
different to the author indicated by GitLab.

.. _adding_new_dependencies:

Special case: MRs that introduce a new dependency
Expand Down
Loading