Use inodes in snapshots#19

Open

icristescu wants to merge 145 commits intotarides:masterfrom

icristescu:snapshot_expose

Commits on Mar 15, 2022

Docs: add the concept of MR's owner.

Sventimir
authored and
Marge Bot
committed
Merge branch 'sventimir@docs-mr-owner' into 'master'
Marge Bot
committed
Tezt: add --test-arg / -a

Romain Bardou
authored and
Marge Bot
committed
Tezt: drop Cli.init, TPS: refactor the app

mrkkrp
authored and
Marge Bot
committed
Merge branch 'mkarpov@drop-tezt-cli-init-refactor-tps-app' into 'master'
Marge Bot
committed

Commits on Mar 16, 2022

Proto-compiler,Proto-updater: convert to newer let* syntax

raphael-proust
authored and
Marge Bot
committed
Proto-updater: minor code improvement

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@convert-proto-comp-and-updater-to-newer-let-star-syntax' into 'master'
Marge Bot
committed
Manifest: lib_sc_rollup

Richard Davison
authored and
Marge Bot
committed
Merge branch 'richard-lib-sc-rollup' into 'master'
Marge Bot
committed
Error_monad: document limitations of the error_encoding

raphael-proust
authored and
Marge Bot
committed
Error_monad: add json+registration test

raphael-proust
authored and
Marge Bot
committed
Error_monad: introduce hack to clear json-encoding cache of error_encoding

raphael-proust
authored and
Marge Bot
committed
Error_monad: add documentation to JSON-hack test

raphael-proust
authored and
Marge Bot
committed
Merge branch 'rapahel-p@small-doc-commit-about-the-limitations-of-error-encoding' into 'master'
Marge Bot
committed
Proto: Use inbox level to speed up conflict point detection (#2454)

vapourismo
authored and
Marge Bot
committed
Proto: Make SCORU conflict detection fail early

vapourismo
authored and
Marge Bot
committed
Merge branch 'conflict-point' into 'master'
Marge Bot
committed
node: add new command 'dump-metrics'

abate
authored and
Marge Bot
committed
doc: add doc for openmetrics

abate
authored and
Marge Bot
committed
Merge branch 'abate@metrics-doc' into 'master'
Marge Bot
committed
Everywhere: use the `let*` of QCheck Gens rather than the infix binds

raphael-proust
authored and
Marge Bot
committed
Everywhere: minor improvement in Qcheck generators

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@use-let-star-in-qcheck-tests' into 'master'
Marge Bot
committed
Proto/Michelson: introduce ty_ex_c

mbouaziz
authored and
Marge Bot
committed
Proto/Michelson: add a 4th parameter to Pair_t constructor

mbouaziz
authored and
Marge Bot
committed
Proto/Michelson: add a 4th parameter to Union_t constructor

mbouaziz
authored and
Marge Bot
committed
Proto/Michelson: add a 3rd parameter to Option_t constructor

mbouaziz
authored and
Marge Bot
committed
Proto/Tests: adapt cache size hardcoded values

mbouaziz
authored and
Marge Bot
committed
Merge branch 'mehdi@prep_unite_types' into 'master'
Marge Bot
committed
CI: switch to Docker 20.10.12 socket binding

David Dumas
authored and
Marge Bot
committed
Merge branch 'davdumas@docker-socket' into 'master'
Marge Bot
committed
Tezt/Tx_rollup: expose rpc port and addr of a tx_rollup_node

vect0r-vicall
authored and
Marge Bot
committed
Tezt/Tx_rollup: test the ticket deposit (l1 to l2)

vect0r-vicall
authored and
Marge Bot
committed
Tezt/Tx_rollup: test l2 to l2 transfers

vect0r-vicall
authored and
Marge Bot
committed
Merge branch 'vicall@tx_test_ticket' into 'master'
Marge Bot
committed
Manifest: bin_accuser

Richard Davison
authored and
Marge Bot
committed
Merge branch 'richard-bin-accuser' into 'master'
Marge Bot
committed
doc: split Error Monad into 4 subfiles

solled
authored and
Marge Bot
committed
Merge branch 'sol-develop' into 'master'
Marge Bot
committed
Proto: SCORU: Add test for double free

ferilata
authored and
Marge Bot
committed
Proto: SCORU: Fix double free

ferilata
authored and
Marge Bot
committed
Merge branch 'hans@scoru-fix-double-free' into 'master'
Marge Bot
committed
Docs: update incorrect consensus documentation

vbot
authored and
Marge Bot
committed
Merge branch 'vbot@fix-doc' into 'master'
Marge Bot
committed
protocol-env: Expose missing context config type equality

Ngoguey42
authored and
Marge Bot
committed
Merge branch 'with-type-context-config' into 'master'
Marge Bot
committed
lib_context: use the minimal indexing strategy

icristescu
authored and
Marge Bot
committed
lib_store: always index during snapshot import

craigfe
authored and
Marge Bot
committed
lib_context: add an environment variable for the indexing strategy

craigfe
authored and
Marge Bot
committed
Merge branch 'minimal-indexing-strategy' into 'master'
Marge Bot
committed
Scoru/Client: introduce an instance of Client_context

picdc
authored and
Marge Bot
committed
Score/Client: use sc_client_context instead of the configuration

picdc
authored and
Marge Bot
committed
Merge branch 'pierrick@scoru-client-context' into 'master'
Marge Bot
committed
Tx_rollup: fix spelling of error Submit_batch_burn_exceeded

arvidj
authored and
Marge Bot
committed

Commits on Mar 17, 2022

Merge branch 'arvid@tx_rollup@spelling-exceeded' into 'master'
Marge Bot
committed
Proto,tx_rollup: Freeze and unfreeze stakable bond

lthms
authored and
Marge Bot
committed
Proto,tx_rollup: Slash bond of the committer and reward the accuser

lthms
authored and
Marge Bot
committed
Merge branch 'tx_rollup@bonds' into 'master'
Marge Bot
committed
Manifest: bin_baker

Richard Davison
authored and
Marge Bot
committed
Merge branch 'richard-bin-baker' into 'master'
Marge Bot
committed
Proto,SCORU: Add a concept of Tick to count exec steps

Yann Regis-Gianas
authored and
Marge Bot
committed
Proto,SCORU: Define the semantics of PVM

Yann Regis-Gianas
authored and
Marge Bot
committed
Proto,SCORU: Add encoding for sc rollup PVM boot sector

Yann Regis-Gianas
authored and
Marge Bot
committed
Proto,SCORU: Add a conversion from boot_sector to string

Yann Regis-Gianas
authored and
Marge Bot
committed
Proto,SCORU: Assign a semantic to the example arith rollup

Yann Regis-Gianas
authored and
Marge Bot
committed
Proto,SCORU: Add proof start/end state hash

Yann Regis-Gianas
authored and
Marge Bot
committed
Proto,SCORU: Remove abstraction of boot_sector type

Yann Regis-Gianas
authored and
Marge Bot
committed
Merge branch 'scoru@add-pvm-execution-model' into 'master'
Yann Regis-Gianas
committed
Proto/Michelson: feature flag tx rollup addresses in elaboration

arvidj
authored and
Marge Bot
committed
Merge branch 'arvid@tx_rollup@l1-inbox--typecheck' into 'master'
Marge Bot
committed
Docs: convert code to use `let*` rather than infix binders

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@convert-docs-to-let-syntax' into 'master'
Marge Bot
committed
Tx_rollup,Proto: distinguish [Transfer] and [Withdraw] for type safety

vch9
authored and
Marge Bot
committed
Tx_rollup,Proto: allow signer field to be a layer2 address

vch9
authored and
Marge Bot
committed
Tx_rollup,Proto: small typo

vch9
authored and
Marge Bot
committed
Tx_rollup,Proto: forbid a transfer to self

vch9
authored and
Marge Bot
committed
Tx_rollup,Proto: forbid transfer of zero ticket

vch9
authored and
Marge Bot
committed
Merge branch 'tx_rollup@finalize-operation-content' into 'master'
Marge Bot
committed

Commits on Mar 18, 2022

Proto: add Merkle_list module for TORU

authored and
Antonio Locascio
committed
Merge branch 'alocascio@merkle-list' into 'master'
Marge Bot
committed
Sapling: convert code to newer `let*` syntax

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@convert-sapling-to-newer-let-star-syntax' into 'master'
Marge Bot
committed
Proto/Michelson: add a type parameter to ty
mbouaziz
committed
Proto/Michelson: add dependent bools
mbouaziz
committed
Proto/Michelson: constraint comparable character of ty
mbouaziz
committed
Proto/Michelson: add parameters to Pair_key, Union_key, Option_key
mbouaziz
committed
Merge branch 'mehdi@comparable_witness' into 'master'
Marge Bot
committed
Proto-env,Proto-updater: Use local (rather than global) return/fail

raphael-proust
authored and
Marge Bot
committed
Protos: Use local (rather than global) return/fail

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@avoid-using-globals-return-and-fail-prefer-locals--protos' into 'master'
Marge Bot
committed
Proto/Test: Expr_common: make ~loc argument optional

arvidj
authored and
Marge Bot
committed
Tx_rollup: impose size limit on ticket contents in deposits

arvidj
authored and
Marge Bot
committed
Merge branch 'arvid@tx_rollup@impose-ticket-size-limit' into 'master'
Marge Bot
committed
Proto/Tx-rollup: bound the number of withdrawals per L2 message

iguerNL
authored and
Marge Bot
committed
Tests/Tx_rollup: add units tests for maximum withdrawals per batch

iguerNL
authored and
Marge Bot
committed
Merge branch 'functori@tx_rollup@max_nb_withdraws' into 'master'
Marge Bot
committed
Proto Alpha: refactor patched contracts tests for re-usability.

Sventimir
authored and
Marge Bot
committed
Proto Alpha: Add another test for patched contracts.

Sventimir
authored and
Marge Bot
committed
Proto Alpha: Upgrade the patched contracts to newest Michelson.

Sventimir
authored and
Marge Bot
committed
Merge branch 'sventimir@improve-patched-contracts-tests' into 'master'
Marge Bot
committed
Tezt: add --title, same as --test

Romain Bardou
authored and
Marge Bot
committed
Merge branch 'romain-tezt-title' into 'master'
Marge Bot
committed

Commits on Mar 19, 2022

Protocol/Tx_rollup: Implement the merklisation of inboxes

saroupille
authored and
lthms
committed
Tezt: Update regressions for failing tests
lthms
committed
Merge branch 'francois@merkelized-tx-inboxes' into 'master'
Marge Bot
committed
Tezt: print file in failing test error message

arvidj
authored and
saroupille
committed
Merge branch 'arvid@tezt-print-file-in-fail-error-message' into 'master'
Marge Bot
committed
Proto/ticket table: use table of ticket for deposit and withdraw

Sylvain Ribstein
authored and
lthms
committed
Merge branch 'tx_rollup@ticket_accounting' into 'master'
Marge Bot
committed

Commits on Mar 21, 2022

Proto/Michelson-Plugin: move script back from translator to ir.
gh-naih
committed
Proto/Michelson: enrich the origination application with a parsed script.
gh-naih
committed
Proto/Michelson: enrich create_contract with a lambda.
gh-naih
committed
Proto/Michelson: enrich the origination internal operation.
gh-naih
committed
Proto/Tests: typed scripts in originations.
gh-naih
committed
Proto/Michelson: optimize tickets_of_origination.
gh-naih
committed
Proto/Michelson: remove preoriginations from external originations.
gh-naih
committed
Tests: update regression tests gas.
gh-naih
committed
Proto/Michelson: simplify using the preorigination.
gh-naih
committed
Proto/Michelson: fix a comment.
gh-naih
committed
Merge branch 'naih@enrich-origination-internal-operation' into 'master'
Marge Bot
committed
Tezt: add missing ?hooks arguments

Romain Bardou
authored and
Marge Bot
committed
Merge branch 'romain-tezt-hooks' into 'master'
Marge Bot
committed
CI/Tezt: run self tests in the CI

arvidj
authored and
Marge Bot
committed
Merge branch 'arvid@tezt-fix-self-tests' into 'master'
Marge Bot
committed
Manifest: support opam's description field

raphael-proust
authored and
Marge Bot
committed
Proto-env: simplify build, keep only one opam package

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@single-opam-package-environemtn' into 'master'
Marge Bot
committed
Docs/Proto/script_ir_translator: units in script/code_size docs

arvidj
authored and
Marge Bot
committed
Merge branch 'arvid@docs-units-for-script-code-size' into 'master'
Marge Bot
committed
Proto,tx_rollup: Refactor the Tx_rollup_state_repr module

lthms
authored and
Marge Bot
committed
Tx_rollup,Proto: expose [init_counter] for addresses and tickets

vch9
authored and
Marge Bot
committed
Proto,alpha: Verify proofs submitted during a rejection

authored and
Marge Bot
committed
Doc: temporary: make warnings don't make the job fail

vch9
authored and
Marge Bot
committed
Merge branch 'tx_rollup@reject-stream-proof-with-verify1' into 'master'
Marge Bot
committed
Proto: remove unused function

novalis
authored and
Marge Bot
committed
Merge branch 'cruft' into 'master'
Marge Bot
committed
Tx_rollup,Proto: fix expected field for [Counter_mismatch]

vch9
authored and
Marge Bot
committed
Merge branch 'vch9@l2-counter-error' into 'master'
Marge Bot
committed
Env v5: use Bls12_381.MinSig instead of Bls12_381.MinPk

dannywillems
authored and
Marge Bot
committed
Merge branch 'dannywillems-try-moving-to-minsig' into 'master'
Marge Bot
committed
lib_context: update to irmin.3.2.0
icristescu
committed
proto_alpha: update to irmin.3.2.0
icristescu
committed
Expose inodes in the snapshot format
icristescu
committed
wip
icristescu
committed