[RFC] Trace recording in tezos#16

Open

Ngoguey42 wants to merge 1533 commits intotarides:masterfrom

Ngoguey42:new-action-trace-recording

This pull request is big! We're only showing the most recent 250 commits

Commits on Feb 22, 2022

CI: sanitize coverage artifact names and merged file names

arvidj
authored and
Marge Bot
committed
CI: manually balance unit tests and exploit intrarunner parallelism

arvidj
authored and
Marge Bot
committed
Merge branch 'arvid@rebalance-unittests' into 'master'
Marge Bot
committed
Proto: expose snapshot index computation function

vbot
authored and
Pierre Boutillier
committed
Proto: register a RPC to query snapshot indexes

vbot
authored and
Pierre Boutillier
committed
Proto/Ithaca: backport selected_snapshot RPC via the plugin

vbot
authored and
Pierre Boutillier
committed
Docs: fix modified snapshotting constants

vbot
authored and
Pierre Boutillier
committed
Changes: add corresponding entry

vbot
authored and
Pierre Boutillier
committed
Merge branch 'vbot@add_selected_snapshot_rpc' into 'master'
Marge Bot
committed
Proto: compile the protocol environment without Stdlib (fixes #2209)

g-b-fefe
authored and
Marge Bot
committed
Merge branch 'env' into 'master'
Marge Bot
committed
Tx_rollup,Proto: use environment size for public key

vch9
authored and
Marge Bot
committed
Merge branch 'tx_rollup@bls-pk-size' into 'master'
Marge Bot
committed
Tests/Tezt: make RPC.get_block_hash return strings
arvidj
committed
Tests/Tezt/voting.ml: no need for manual tezos_proto file
arvidj
committed
Tests/Tezt/voting.ml: add and use period_kind type
arvidj
committed
Tests/Tezt: facility for setting protocol overrides in node config
arvidj
committed
Tests/Tezt/voting.ml: add user-activated protocol override test
arvidj
committed
Tests/Flextesa: remove sandboxes:u-a-u and sandboxes:daemons-upgrade
arvidj
committed
Tests/Tezt: also run voting tests with target protocol Alpha
arvidj
committed

Commits on Feb 23, 2022

Merge branch 'arvid@flextesa-user_activated_protocol_override-in-tezt' into 'master'
Marge Bot
committed
Tx_node: clean events

vect0r-vicall
authored and
Marge Bot
committed
Tx_node: conform to let binding's convention

vect0r-vicall
authored and
Marge Bot
committed
Tx_node: move event to a better place

vect0r-vicall
authored and
Marge Bot
committed
Merge branch 'vicall@refactor_tx_rollup_node' into 'master'
Marge Bot
committed
lib_context: Add encoding/context_binary.ml

Ngoguey42
authored and
samoht
committed
lib_context: Functorise memory/context.ml

Ngoguey42
authored and
samoht
committed
lib_context: Functorise context.ml

Ngoguey42
authored and
samoht
committed
lib_context: Add `Tezos_context_memory.Context_binary`

Ngoguey42
authored and
samoht
committed
lib_context: Add `Tezos_context.Context_binary`

Ngoguey42
authored and
samoht
committed
lib_context: Document the 4 contexts

Ngoguey42
authored and
samoht
committed
Merge branch 'binary-contexts2' into 'master'
Marge Bot
committed
Tezt/Tx_rollup: Use submodule for Tx_rollup related client commands

saroupille
authored and
Marge Bot
committed
Tezt/Tx_rollup: Merge `originate_tx_rollup` command wrapper

saroupille
authored and
Marge Bot
committed
Tezt/Tx_rollup: Merge `submit_tx_rollup_batch` command wrapper

saroupille
authored and
Marge Bot
committed
Tezt: Add a `runnable_map` function

saroupille
authored and
Marge Bot
committed
Tezt: Merge `Tx_rollup.get_inbox` RPC

saroupille
authored and
Marge Bot
committed
Tezt: Use runnable type for `Tx_rollup.get_state` RPC

saroupille
authored and
Marge Bot
committed
Tezt: Use runnable type for `Tx_rollup.get_commitments` RPC

saroupille
authored and
Marge Bot
committed
Tezt/Tx_rollup: Merge `submit_commitment`

saroupille
authored and
Marge Bot
committed
Tezt/Tx_rollup: Rename submit_batch command

saroupille
authored and
Marge Bot
committed
Tezt/Tx_rollup: Rename `submit_commitment` command

saroupille
authored and
Marge Bot
committed
Tezt/Tx_rollup: Rename `originate` command

saroupille
authored and
Marge Bot
committed
Tezt/Tx_rollup: Fix typos

saroupille
authored and
Marge Bot
committed
Merge branch 'francois@tx-rollup-fixups' into 'master'
Marge Bot
committed
Stdlib,Stdlibunix: convert from infix to binding operators

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@convert-lib-stdlib-and-unix-to-newer-let-syntax' into 'master'
Marge Bot
committed
Manifest: linkall flag on executable belongs to link_flags

Hugo Heuzard
authored and
Marge Bot
committed
Merge branch 'hhugo-linkall-exe' into 'master'
Marge Bot
committed
CI/Tezt: disable flaky protocol_override test

arvidj
authored and
Romain
committed
Merge branch 'arvid@remove-accuser-from-tezt-u-a-u-test' into 'master'
Romain
committed
Changelog: update for 12.0
Romain Bardou
committed
Doc: update version 12.0 release page
Romain Bardou
committed
Merge branch 'romain-v12-doc' into 'master'
Romain
committed
lib_proxy: make Proxy_server argument a record

smelc
authored and
Marge Bot
committed
lib_proxy: remove reference to Lwt_unix.sleep

smelc
authored and
Marge Bot
committed
Merge branch 'smelc@lib_proxy_lwt_unix_sleep' into 'master'
Marge Bot
committed
Proto, tx_rollup: carbonate hash function and split it from tx_rollup_message_repr

authored and
Marge Bot
committed
Proto, tx_rollup: check carbonated hash in precheck

authored and
Marge Bot
committed
Merge branch 'cc@carbonate_hash_messages' into 'master'
Marge Bot
committed
Env v5: add size_in_memory for curve and prime fields

dannywillems
authored and
Marge Bot
committed
Proto: use size_in_memory for Bls12_381.G1/G2/Fr

dannywillems
authored and
Marge Bot
committed
Proto: set expected_ratios back to 3 in tests.

dannywillems
authored and
Marge Bot
committed
Merge branch 'dannywillems-bls12-381-size-fix' into 'master'
Marge Bot
committed
Store: infer savepoint at history mode switch with metadata files

vect0r-vicall
authored and
Marge Bot
committed
Store: refactor and use some events

vect0r-vicall
authored and
Marge Bot
committed
Store: call write_checkpoint only after a checkpoint change

vect0r-vicall
authored and
Marge Bot
committed
Store: move event to the right place

vect0r-vicall
authored and
Marge Bot
committed
Store: avoid unecessary writes while restoring consistency

vect0r-vicall
authored and
Marge Bot
committed
Store: improve error reporting while restoring consistency

vect0r-vicall
authored and
Marge Bot
committed
Merge branch 'vicall@store_various_improvements' into 'master'
Marge Bot
committed
lib-base: introduce Time.System.now

Hugo Heuzard
authored and
Marge Bot
committed
Everywhere: use Time.System.now

Hugo Heuzard
authored and
Marge Bot
committed
lib-stdlib-unix: remove Systime_os.now

Hugo Heuzard
authored and
Marge Bot
committed
Proto_alpha: remove Tezos_stdlib_unix dep

Hugo Heuzard
authored and
Marge Bot
committed
Merge branch 'hhugo@ptime-js' into 'master'
Marge Bot
committed
proto/lib_client_commands: load sequentially wallet in stresstest cmd

Vivien
authored and
Marge Bot
committed
Merge branch 'vivien@stresstest-wallet_map_s' into 'master'
Marge Bot
committed
Protocol/Docs: Docstring interfaces in lib_protocol

hai-nguyen-van
authored and
Marge Bot
committed
Merge branch 'docstring_lib_protocol' into 'master'
Marge Bot
committed
Gas_benchmarks: add benchmark for `type_has_tickets`

thomasathorne
authored and
Marge Bot
committed
Gas_benchmarks: switch has_tickets benchmark to use `Result_syntax`

thomasathorne
authored and
Marge Bot
committed
Merge branch 'thomas.athorne@type_has_tickets_benchmark' into 'master'
Marge Bot
committed
Sapling-js: dummy js stubs for primitives with arity > 5

Hugo Heuzard
authored and
Marge Bot
committed
Merge branch 'hhugo-more-dummy-stubs' into 'master'
Marge Bot
committed
CI/build: coverage for bin_tps_evaluation, runtest_dune_template

arvidj
authored and
Marge Bot
committed
CI/build: do not make the build-test target in the build job

arvidj
authored and
Marge Bot
committed
Merge branch 'arvid@build-bin_tps_evaluation-with-instrumentation' into 'master'
Marge Bot
committed
Stress test: add the ability to call smart contracts

authored and
Marge Bot
committed

Commits on Feb 24, 2022

Merge branch 'charles@simple-tps-benchmark' into 'master'
Marge Bot
committed
Proto,tx_rollup: Inbox hashes

authored and
Marge Bot
committed
Merge branch 'tx_rollup@inbox-constant-gas' into 'master'
Marge Bot
committed
Proto/Michelson: keep boxed map operations polymorphic

mbouaziz
authored and
Marge Bot
committed
Proto/Michelson: move set/map type inside OPS

mbouaziz
authored and
Marge Bot
committed
Proto/Michelson: replace Script_map.key_ty with Script_map.empty_from

mbouaziz
authored and
Marge Bot
committed
Proto: copy gas_input_size

mbouaziz
authored and
Marge Bot
committed
Proto: add Gas_comparable_input_size

mbouaziz
authored and
Marge Bot
committed
Proto/Michelson: do not use the type of comparable types in the type of sets and maps

mbouaziz
authored and
Marge Bot
committed
Merge branch 'mehdi@no_comparable_type_in_sets_and_maps' into 'master'
Marge Bot
committed
Tezt: replace ?regression_output_path with --regression-dir

Romain Bardou
authored and
saroupille
committed
Tezt: warn if there are leftover regression output files

Romain Bardou
authored and
saroupille
committed
Tezt: add --delete-unknown-regression-files

Romain Bardou
authored and
saroupille
committed
Tezt: improve regression error messages

Romain Bardou
authored and
saroupille
committed
Tezt: catch Sys_error when checking regression files

Romain Bardou
authored and
saroupille
committed
Tezt: remove regression files that are no longer used

Romain Bardou
authored and
saroupille
committed
Merge branch 'romain-tezt-regression' into 'master'
Marge Bot
committed
Attacker: remove code

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@remove-bin-attacker' into 'master'
Marge Bot
committed
Snoop,Shell_benchmark: convert infix binds to let syntax

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@convert-lib-snoop-and-lib-shell-benchmark-to-let-syntax' into 'master'
Marge Bot
committed
Shell: remove `bench/` dead subdirectory

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@remove-dead-code-shell-bench' into 'master'
Marge Bot
committed
Proto,tx_rollup: Bootstrap the finalization of commitments

novalis
authored and
Marge Bot
committed
Merge branch 'tx_rollup@finality' into 'master'
Marge Bot
committed
Proto: Add simple benchmark for IMin_block_time (#2504)

vapourismo
authored and
Marge Bot
committed
Merge branch 'min-block-time' into 'master'
Marge Bot
committed
Clic: convert error monad to newer syntax

raphael-proust
authored and
Marge Bot
committed
Mockup: convert last little >>=? to let*

raphael-proust
authored and
Marge Bot
committed
P2p: convert last remnants of >>=? into a let*

raphael-proust
authored and
Marge Bot
committed
Client*: convert last remaining infix binds to let*

raphael-proust
authored and
Marge Bot
committed
Base: convert infix binds to let*

raphael-proust
authored and
Marge Bot
committed
Crypto: convert infix binds to let*

raphael-proust
authored and
Marge Bot
committed
Event_logging: tiny documentation improvement

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@convert-lib-clic-to-newer-let-syntax' into 'master'
Marge Bot
committed
Changelog: remove unexpected backtick

Romain Bardou
authored and
Marge Bot
committed
Merge branch 'romain-changelog-fix' into 'master'
Marge Bot
committed

Commits on Feb 25, 2022

lib_proxy: factor out initial_{env_rpc_,}context args into a record

evertedsphere
authored and
Marge Bot
committed
Merge branch 'swann/2391-refactor-rpc' into 'master'
Marge Bot
committed
lib_shell: create shell_metrics module

killian-delarue
authored and
Marge Bot
committed
Merge branch 'killian@create_shell_metrics_module' into 'master'
Marge Bot
committed
Proto,Tx_rollup: Allow commitments one block earlier

novalis
authored and
Marge Bot
committed
Merge branch 'tx_rollup@nontender' into 'master'
Marge Bot
committed
Proto: blocks_per_voting_period to cycles_per_voting_period

acerone-trilitech
authored and
Marge Bot
committed
tests_python: use cycles_per_voting_period

acerone-trilitech
authored and
Marge Bot
committed
tezt: use cycles_per_voting_period

acerone-trilitech
authored and
Marge Bot
committed
flextesa-lib: use cycles_per_voting-period in protocol alpha

acerone-trilitech
authored and
Marge Bot
committed
docs: document changes to cycles_per_voting_period

acerone-trilitech
authored and
Marge Bot
committed
Merge branch 'blocks_per_voting_period_2_cycles_per_voting_period' into 'master'
Marge Bot
committed
Tezt: get_balance_for returns Tez.t instead of float.

Sventimir
authored and
Marge Bot
committed
Merge branch 'sventimir@tezt-balance-as-tez' into 'master'
Marge Bot
committed

Commits on Feb 26, 2022

Commits on Feb 27, 2022

Merge branch 'francois@tx-rollup-more-tests' into 'master'
Marge Bot
committed

Commits on Feb 28, 2022

Automatically generate links for dockerhub and documentation

mujx
authored and
Marge Bot
committed
Merge branch 'issue/1474' into 'master'
Marge Bot
committed
Test: regression tests for contract origination

jobjo
authored and
Marge Bot
committed
Tests: regression output

jobjo
authored and
Marge Bot
committed
Merge branch 'missing-regression-tests' into 'master'
Marge Bot
committed
tezos-proxy-server: add --data-dir option

evertedsphere
authored and
Marge Bot
committed
Merge branch 'swann/2430-add-data-dir' into 'master'
Marge Bot
committed
Manifest: Add ?warnings_expression to the maker type

Richard Davison
authored and
Marge Bot
committed
Manifest: Add targets_rule, install, and as_ to Manifest.Dune

Richard Davison
authored and
Marge Bot
committed
Manifest: Use Manifest.Dune.targets_rule in Main

Richard Davison
authored and
Marge Bot
committed
Manifest: Use Manifest.Dune.install in Main

Richard Davison
authored and
Marge Bot
committed
Manifest: generate

Romain Bardou
authored and
Marge Bot
committed
Merge branch 'richard-manifest-misc' into 'master'
Marge Bot
committed
Tezt: ~protocols is no longer labeled

Romain Bardou
authored and
Marge Bot
committed
Tezt: add ?supports to Protocol.register_test

Romain Bardou
authored and
Marge Bot
committed
Merge branch 'romain-tezt-supports' into 'master'
Marge Bot
committed
lib_protocol_environment: Adding unit test for Proxy_context

litchipi
authored and
Marge Bot
committed
Merge branch 'timcer@test_proxy_context' into 'master'
Marge Bot
committed
lib_context: Added encoding of context Merkle proofs

Jun Furuse
authored and
Marge Bot
committed
lib_context: Added tests for context Merkle proof encoding

Jun Furuse
authored and
Marge Bot
committed
lib_context: Added encoding of 5bit list

satos---jp
authored and
Marge Bot
committed
lib_context: implement efficient encoding for dense proofs

satos---jp
authored and
Marge Bot
committed
lib_context: replace assertions with conv_with_guard

satos---jp
authored and
Marge Bot
committed
lib_context: Moved context Merkle proof encoding out of the functor

satos---jp
authored and
Marge Bot
committed
lib_protocol_environment: expose the proof encodings

KOBAYASHI Kazuhiro
authored and
Marge Bot
committed
proto_alpha/lib_protocol: remove unused deriving irmin

satos---jp
authored and
Marge Bot
committed
Merge branch 'jun@merkle-proofs' into 'master'
Marge Bot
committed
Signer-backend: convert code to use newer let* syntax

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@convert-lib-signer-backend-to-let-syntax' into 'master'
Marge Bot
committed

Commits on Mar 1, 2022

CI/Coverage: no coverage for arm64

arvidj
authored and
Marge Bot
committed
CI/Coverage: move merge_coverage.sh to script-section

arvidj
authored and
Marge Bot
committed
CI/Coverage: move coverage report to external script

arvidj
authored and
Marge Bot
committed
CI/Coverage: adapt coverage scripts to failing early

arvidj
authored and
Marge Bot
committed
CI/Coverage: usability improvement in send_slack_alert_coverage.sh

arvidj
authored and
Marge Bot
committed
Merge branch 'arvid@coverage-fail-early' into 'master'
Marge Bot
committed
Tezt: add `--retry`

arvidj
authored and
Marge Bot
committed
Merge branch 'arvid@tezt-retries' into 'master'
Marge Bot
committed
Gas_benchmarks: add benchmark for `tickets_of_value`

thomasathorne
authored and
Marge Bot
committed
Gas_benchmarks: remove `cost_token_and_amount_of_ticket`

thomasathorne
authored and
Marge Bot
committed
Gas_benchmarks: add benchmark for `Contract.compare`

thomasathorne
authored and
Marge Bot
committed
Merge branch 'thomas.athorne@tickets_benchmarks' into 'master'
Marge Bot
committed
Tx_rollup,Proto: Expect the counter's successor in operation

vch9
authored and
Marge Bot
committed
Merge branch 'tx_rollup@counter-succ' into 'master'
Marge Bot
committed
Proto: add an optional cycle argument to the selected_snapshot RPC

vbot
authored and
Marge Bot
committed
Changes: update previous entry

vbot
authored and
Marge Bot
committed
Merge branch 'vbot@selected_snapshot_in_future' into 'master'
Marge Bot
committed
Build: Update opam-repo hash for data-encoding.0.5.1

raphael-proust
authored and
Marge Bot
committed
Update regression diffs with json-data-encoding.0.11

vch9
authored and
Marge Bot
committed
Proto-env: don't use V3 backwards compat layer in V4

raphael-proust
authored and
Marge Bot
committed
Lib_test: adapt to newer data-encoding interface

raphael-proust
authored and
Marge Bot
committed
Proto-env: adapt to newer data-encoding interface

raphael-proust
authored and
Marge Bot
committed
Data-encoding: use upstream Compact rather than rolling our own in base

raphael-proust
authored and
Marge Bot
committed
Proto-alpha: update to changes in Compact encoding interface

raphael-proust
authored and
Marge Bot
committed
Merge branch 'raphael-p@update-to-data-encoding-0-5' into 'master'
Marge Bot
committed
Proto,tx_rollup: Make rollup level great again

lthms
authored and
saroupille
committed
Merge branch 'tx_rollup@level' into 'master'
Marge Bot
committed
lib_context: update to use Irmin 3.0

authored and
Hugo Heuzard
committed
proto_alpha: update to use Irmin 3.0

craigfe
authored and
Hugo Heuzard
committed
lib_proxy: upgrade to use Irmin 3.0

craigfe
authored and
Hugo Heuzard
committed
lib_context: drop unnecessary comment on legacy Irmin behaviour

craigfe
authored and
Hugo Heuzard
committed
lib_context: deduplicate hash computation in commit consistency check

craigfe
authored and
Hugo Heuzard
committed
lib_context: respond to review comments

craigfe
authored and
Hugo Heuzard
committed
Node: automatically upgrade version from 0.0.6 to 0.0.7

vect0r-vicall
authored and
Hugo Heuzard
committed
Changelog: notice the automatic upgrade from 0.0.6 to 0.0.7

vect0r-vicall
authored and
Hugo Heuzard
committed
lib_context: upgrade to 3.1.0
Hugo Heuzard
committed
Opam: update opam-repository to include #242

craigfe
authored and
Hugo Heuzard
committed
tezos-context: fix test_merkle_proof
Hugo Heuzard
committed
Merge branch 'upgrade-to-irmin-3.0' into 'master'
Marge Bot
committed

Commits on Mar 2, 2022

Proto,Tx_rollups: Inbox message count limit

novalis
authored and
Marge Bot
committed
Merge branch 'tx_rollup@inbox_size_limit' into 'master'
Marge Bot
committed
doc: explicit RPC path prefixes

NicNomadic
authored and
Marge Bot
committed
Merge branch 'nic@rpc-prefixes-doc' into 'master'
Marge Bot
committed
Tx_rollup,Proto: Add [remove] in the storage signature

vch9
authored and
Marge Bot
committed
Tx_rollup,Proto: Remove empty balance from the context

vch9
authored and
Marge Bot
committed
Merge branch 'tx_rollup@remove-balance' into 'master'
Marge Bot
committed
Proto: fix https://gitlab.com/tezos/tezos/-/issues/2084

g-b-fefe
authored and
Marge Bot
committed
Merge branch 'random' into 'master'
Marge Bot
committed
Doc: add missing info from tzip

Lacramioara Astefanoaei
authored and
Marge Bot
committed
Merge branch 'astefano@add_missing_info_from_tb_tzip_to_doc' into 'master'
Marge Bot
committed
Python: Fix the limits in mockup

vch9
authored and
Marge Bot
committed
Tx_rollup,Proto: fix typo in register error

vch9
authored and
Marge Bot
committed
Merge branch 'vch9@toru-fix-typo' into 'master'
Marge Bot
committed
lib_context: Rename Sigs.S to Sigs.TRUC

Ngoguey42
authored and
Ngoguey42
committed
lib_context: Move context.mli to the end of sigs/context.ml

Ngoguey42
authored and
Ngoguey42
committed

Commits on Mar 3, 2022

lib_context: Normalise sigs/context.ml

Ngoguey42
authored and
Ngoguey42
committed
lib_context: Extract interactions with TEZOS_CONTEXT to env.ml

Ngoguey42
authored and
Ngoguey42
committed
lib_context: Update header dates
Ngoguey42
committed
lib_context: Add irmin stats
Ngoguey42
committed
Recording

Ngoguey42
authored and
Ngoguey42
committed
Update of recording
Ngoguey42
committed
Recording in lib_context
Ngoguey42
committed
Replay

Ngoguey42
authored and
Ngoguey42
committed
Update of replay
Ngoguey42
committed
Add support for snap export in summary
Ngoguey42
committed

Commits on Mar 16, 2022

Introduce indexing strategy choice in replay
maiste
committed