swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e

sort by:
Revision Author Date Message Commit Date
5d421ad Michelson: event types and emission Proto: create_contract accepting event_type Michelson: simplified emit test Michelson: documentation Proto: tezt event test Proto: event doc update 04 June 2022, 15:34:42 UTC
7633754 Merge branch 'hhugo-move-to-dune3' into 'master' Switch to dune.3 Closes #1947, #2008, and #2009 See merge request tezos/tezos!5296 03 June 2022, 21:45:10 UTC
ea860d2 Everywhere: fix deadcode 03 June 2022, 21:11:35 UTC
40b778b OPAM: bump refs 03 June 2022, 21:11:30 UTC
19c157b Opam: remove fake ppx_blob deps 03 June 2022, 21:09:44 UTC
bf050e0 Tezt: accept test diffs 03 June 2022, 21:09:44 UTC
d3ce3b4 Time_measurement: promote generated opam file 03 June 2022, 21:09:44 UTC
c37a73f Dune: add allow_empty to dune-project for packages without public targets 03 June 2022, 21:09:44 UTC
f348f67 Javascript: cleanup test infrastructure 03 June 2022, 21:09:44 UTC
ed50fbe Everywhere: upgrade lang dune 03 June 2022, 21:09:44 UTC
e461e24 Everywhere: lift dune constraint 03 June 2022, 21:09:44 UTC
f3700ac Merge branch 'igarnier-snoop-matplotlib-to-gnuplot' into 'master' Snoop: substitute gnuplot to matplotlib See merge request tezos/tezos!4953 03 June 2022, 21:07:58 UTC
ac30b46 snoop: add navigation keybinds for multiplot 03 June 2022, 20:33:46 UTC
378f440 snoop: expose plot verbosity option 03 June 2022, 20:33:46 UTC
525b937 snoop: add display option to reduce verbosity 03 June 2022, 20:33:46 UTC
91f7437 snoop: auto-detect gnuplot target 03 June 2022, 20:33:46 UTC
9596643 snoop: cleanup option handling 03 June 2022, 20:33:46 UTC
fee613f snoop: remove ShowAndSave option 03 June 2022, 20:33:46 UTC
3107f6e vendors: remove pyml-plot 03 June 2022, 20:33:46 UTC
dce327c manifest: remove pyml-plot 03 June 2022, 20:33:46 UTC
b93731a snoop: copy needed files before pyml-plot deletion 03 June 2022, 20:33:46 UTC
f5ab80c lib_shell_benchmarks: use gnuplot 03 June 2022, 20:33:46 UTC
c596f59 snoop: cleanup file artifacts handling 03 June 2022, 20:33:46 UTC
1437ac7 snoop: allow to pass display options 03 June 2022, 20:33:46 UTC
881a3a0 snoop: use gnuplot for display 03 June 2022, 20:33:46 UTC
092df46 lib_benchmark: copy plot module from external package 03 June 2022, 20:33:46 UTC
79190bb Merge branch 'hhugo-flags' into 'master' Manifest: simplify api for flags See merge request tezos/tezos!5452 03 June 2022, 20:33:02 UTC
4946e53 Manifest: simplify api for flags 03 June 2022, 19:52:53 UTC
082fb71 Merge branch 'thomas.athorne@scoru-proofs' into 'master' Proto: SCORU: implementation of proofs in the refutation game See merge request tezos/tezos!5352 03 June 2022, 16:28:05 UTC
851005f Proto,SCORU: Fix invalid dune Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com> 03 June 2022, 15:59:13 UTC
0240414 Proto,SCORU: Use inbox hashes instead of context hashes in proofs Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com> 03 June 2022, 15:59:13 UTC
b210680 Tests: Deactivate OpenAPI validation because of a bug A follow-up issue https://gitlab.com/tezos/tezos/-/issues/3148 has been created to tackle the problem. Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com> 03 June 2022, 15:59:13 UTC
37eff0d Tezt: update some regression tests 03 June 2022, 15:59:13 UTC
d0fc6ef Proto:SCORU: switch to V1 context tree proof encodings - this fixes an issue where `./tezos-codec describe` hangs 03 June 2022, 15:59:13 UTC
62f74bd Proto: SCORU: remove redundant export in alpha; cleanup docstring 03 June 2022, 15:59:13 UTC
9a636a3 Proto: SCORU: proof production fns + basic PBTs Co-authored-by: Yann Regis-Gianas <yann@nomadic-labs.com> 03 June 2022, 15:59:13 UTC
e5d68bf Proto: SCORU: implement refutation proofs 03 June 2022, 15:59:13 UTC
ace20a9 Proto: SCORU: inbox proof implementation 03 June 2022, 15:59:13 UTC
d673b23 Proto: SCORU: create `wrapped_proof` for encoding 03 June 2022, 15:59:13 UTC
4e30587 Proto: SCORU: refactor the PVM interface definition 03 June 2022, 15:59:13 UTC
8690308 Merge branch 'deprecate_enable_testchain' into 'master' Node: deprecate `--enable-testchain` See merge request tezos/tezos!5286 03 June 2022, 15:58:33 UTC
1f061d2 Node: update CHANGES.rst 03 June 2022, 15:30:10 UTC
7be56dd Node: deprecate `--enable-testchain` 03 June 2022, 15:30:10 UTC
ca7a944 Node: deprecate `p2p.enable_testchain` in configuration file 03 June 2022, 15:30:10 UTC
2b0a7c0 Merge branch 'pipelining@fix-reveal-semantics' into 'master' Proto: fix semantics for failing Reveal operations Closes #338, #2386, and #2774 See merge request tezos/tezos!5182 03 June 2022, 15:29:22 UTC
d6296de Proto/Tests: add tests for incorrectly placed and duplicated reveals Cf #2774 We test that reveal ops succeed only when placed first in the batch. We extend the test suite to duplicate reveals in batches to show they fail even if the first one is well placed: First, we test a batch consisting of duplicate (potentially) valid reveal operations. We assert the second reveal to fail again with an [Apply.Incorrect_reveal_position] error, and for the first reveal to be backtracked. Then, we test batches with duplicate reveals which follow a failing one and we assert again the second reveal fails skipped. We do this for the 3 different reasons a well-placed reveal might fail (as tested above): gas exhaustion, insolvency, and emptying the balance while revealing. Co-authored-by: Germán Delbianco <german@nomadic-labs.com> Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
5b1ebd7 Proto/Tests: test that gas-exhausted reveals don't take effect (See #2386) Adds an integration protocol test asserting that a reveal operations that fails because of gas exhaution doesn't take effect. Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> Co-authored-by: Germán Delbianco <german@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
152b115 Proto/Tests: test re-revealing fails We test that a batch attempting to re-reveal a manager will fail. 03 June 2022, 15:02:22 UTC
50bd7ab Tezts: fix reveal batches tezts for Alpha Fix #2774 Repeated reveal operations in batches should result in Apply.Incorrect_reveal_position, Permanent errors, with protos > Jakarta. Co-authored-by: Germán Delbianco <german@nomadic-labs.com> Co-authored-by: Albin Coquereau <albin.coquereau@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
dda9f26 Proto: enforce reveal operations position as first of batches Fix #2774. We enforce that public key reveals should only appear at the beginning of a batch of manager operations. Co-authored-by: Germán Delbianco <german@nomadic-labs.com> Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> Co-authored-by: Diane Gallois-Wong <diane.gallois-wong@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
779c76a Proto: add an existence check before revealing a manager We check that the manager exists before revealing it, this avoids attempting to reveal a manager which was depleted by preckeck. We then fix and tweak existing transfer and revelation integration tests, to assert an application failure on `add_operation` with the (now exported) `Empty_implicit_contract` protocol error. Co-authored-by: Germán Delbianco <german@nomadic-labs.com> Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
6222af2 Proto: properly backtrack and skip reveals Fix #2386. After having restored the _all-or-nothing_ semantics for manager operation batches, reveal operations are also backtracked. There is no need to unmark reveals as skipped anymore (tezos/tezos!857). We add a protocol integration test, `test_backtracked_reveal_in_batch`, to assert that backtracked reveals do not longer take effect. Co-authored-by: Germán Delbianco <german@nomadic-labs.com> Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
784fc32 Proto: check the consistency of revealed keys during precheck - We refactor the business logic of `Contract_manager_storage.reveal_manager_key` to be able to recover the consistency check of the revealed signature as a part of the prechecking phase. This prevents forging revelation operations which pass prechecking but then result in apply failure. We fork this precondition out reveal_manager_key, as a new function `check_public_key`, intended to be used at precheck time, which asserts that the provided (pk, pkh) pair is consistent: that is, that hashing pk yields the provided pkh. Then, the logic of `reveal_manager_key` is reworked to take an optional flag `?check_consistency` which if true (or by default) calls check_public_key, and otherwise just take the manager and the pk arguments at face value (see tezos/tezos#3078). `reveal_manager_key` still checks that the manager provided is the expected one, and that the operation was not already revealed and otherwise fail according at application time. - We recover asserting the consistency of the (pk, pkh) pair to be revealed at prechecking time, preventing accepting inconsistent revel operations which will fail at application time. - We modify the integration test helpers to enable faking reveal operations, and we add two integration test asserting reveal operations cannot be forged by providing an inconsistent (pk, pkh) pairs. Co-authored-by: Diane Gallois-Wong <diane.gallois-wong@nomadic-labs.com> Co-authored-by: Albin Coquereau <albin.coquereau@nomadic-labs.com> Co-authored-by: Zay Dargaye <Zaynah Dargaye <zaynah.dargaye@nomadic-labs.com> Co-authored-by: Germán Delbianco <german@nomadic-labs.com> Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
a554eb6 Proto: perform reveals at application Fix #2386 We refactor [apply_operation] so that [Reveal pkh] manager operations don't take effect at pre-checking time (that is, in [precheck_manager_contents]), but rather when _really_ applying the manager operation in [apply_manager_contents]. This refactoring does not only restore the all-or-nothing semantic of manager operations batches, but also lays the ground for future developments in the Pipelining project %23, by removing effects from [precheck_manager_contents]. Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> Co-authored-by: Germán Delbianco <german@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
9c523cf Proto/Tests/Helpers: allow batch_operations to recompute counters 03 June 2022, 15:02:22 UTC
f57c4bb Proto/Tests/Helpers: add option to force reveal in managers The default behaviour to attach a reveal operation to any manager if the latter is not reveal hinders testing revelations themselves with integration tests. We make this behaviour depend on an optional `?force_reveal` argument to `manager_operation`, and we set it to true for backwards compatibility. The default value should be false, actually, but here we avoided breaking existing integration tests and leave fixing this as follow up in tezos/tezos#2979. We also patch [manager_operation] to enable/disable force reveal. We propagate this to all the operation constructors for single manager operations. Co-authored-by: Germán Delbianco <german@nomadic-labs.com> Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
2d2d031 Proto/Tests/Helpers: reverse failure handlers in add_operation We invert [?expect_apply_failure?] and [?expect_failure] semantics in [add_operation] and propagate accordingly to all protocol integration tests. Co-authored-by: Germán Delbianco <german@nomadic-labs.com> Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
40472f4 Proto/Tests/Helpers: allow revelation helper to force gas limit Extends the signature of the [revelation] test helper to craft reveal operations with arbitray gas limits (including 0). Co-authored-by: Germán Delbianco <german@nomadic-labs.com> Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> 03 June 2022, 15:02:22 UTC
22aefeb Merge branch 'romain-tezt-rpc-naming' into 'master' Tezt: define and apply RPC naming conventions See merge request tezos/tezos!5469 03 June 2022, 15:01:31 UTC
f499248 Tezt: RPC: /chain/ -> /chains/ 03 June 2022, 14:34:25 UTC
7e16c77 Tezt: apply RPC naming conventions 03 June 2022, 14:34:25 UTC
9d25acd Tezt: document naming conventions for RPC 03 June 2022, 14:34:25 UTC
8b78985 Merge branch 'vch9@fix-make-warnings' into 'master' Build: use [caml_alloc_custom] instead of [alloc_custom] in hidapi See merge request tezos/tezos!5470 03 June 2022, 14:33:13 UTC
1dc97ca Build: use [caml_alloc_custom] instead of [alloc_custom] 03 June 2022, 14:03:41 UTC
7ae1818 Merge branch 'nbacquey@qcheck2-lib_p2p' into 'master' Lib_p2p: migrate from QCheck to QCheck2 See merge request tezos/tezos!5438 03 June 2022, 14:02:55 UTC
d2b4707 Lib_p2p: decrease qcheck2 generation parameter This commit reduces the runtime of `dune build @src/lib_p2p/test/test_p2p_buffer_reader` from ~8s to ~1.7s 03 June 2022, 13:35:30 UTC
46da8ff Lib_p2p: migrate from QCheck to QCheck2 03 June 2022, 13:35:30 UTC
6fb4644 Merge branch 'naih@dedicated-types-for-internal-operation-results' into 'master' Dedicated types for internal operation results See merge request tezos/tezos!5384 03 June 2022, 12:04:41 UTC
8f78150 Proto/Client/Rollup: use successful_internal_manager_operation_result where it should be used. 03 June 2022, 11:35:24 UTC
70322d5 Proto: introduce successful_internal_manager_operation_result. Does not compile (unused type and constructor for now). 03 June 2022, 11:35:24 UTC
44c4942 Client: separate internal and external operation results. By copy/pasting code of the corresponding external operation results functions. The internal operation results functions will be restricted to internal operations later, by removing the branches specific to external operations (typechecking will fail if we forget some). 03 June 2022, 11:35:24 UTC
657618d Proto: separate internal and external operation results. 03 June 2022, 11:35:24 UTC
0d92844 Proto: add parameters to Apply_results.manager_operation_results. So that it can be used for both internal and external successful operations, whose types will be made different later. 03 June 2022, 11:35:24 UTC
25b96b2 Merge branch 'vch9@scoru@consistency-check' into 'master' Proto: extend consistency checks for scoru constants Closes #2980 See merge request tezos/tezos!5362 03 June 2022, 11:34:38 UTC
2461f2f Proto,Scoru: remove [sc_rollup_commitment_storage_size_in_bytes] from constants 03 June 2022, 09:57:48 UTC
32c4f82 Proto: check [sc_rollup_max_lookahead_in_blocks] constant This constant gives the maximum number of lookahead in blocks during a commitment submission. The commitment must be posted with a frequency defined in [sc_rollup_frequency_in_blocks], if the max lookahead in blocks is lower than the frequency, the commitments will always be rejected as the lookahead will be at least the frequency. 03 June 2022, 09:39:53 UTC
bc041eb Proto: check [sc_rollup_commitment_period_in_blocks] constant This constant gives the period in blocks for the rollup commitments. 03 June 2022, 09:39:53 UTC
83ac58f Proto: check [sc_rollup_stake_amount] constant The constant gives the minimal stake amount in mutez for a rollup operator to pay in order to post a commitment. It cannot pay a negative amount. 03 June 2022, 09:39:52 UTC
a1cb02c Proto: check [sc_rollup_max_available_messages] constant The constant gives the maximum number of messages in the inbox. A smart contract rollup with a unusable inbox makes the rollup completely useless. 03 June 2022, 09:39:51 UTC
237fe16 Proto: check [sc_rollup_challenge_window_in_blocks] constant The constant is here to calculate the number of blocks to wait before cementing a commitment. Even if the constant is null, from the cementing's operation semantic, the challenge window in block will require to wait a least 1 block to cement. 03 June 2022, 09:39:51 UTC
4e1cbe2 Proto: check [sc_rollup_origination_size] constant The constant is here to calculate the storage cost for a rollup origination. If the constant is negative, it could eventually lead to a negative storage's cost, which does not make sense. 03 June 2022, 09:39:50 UTC
b0f5b16 Merge branch 'metanivek@split_parametric_type' into 'master' Proto: split parametric constants type Closes #2702 See merge request tezos/tezos!5246 03 June 2022, 08:33:54 UTC
fc8e218 Proto: expose and use split parametric constants 03 June 2022, 08:07:35 UTC
ef8dbd5 Proto: split parametric constants type 03 June 2022, 08:07:35 UTC
d5184b5 Merge branch 'nbacquey@qcheck2-qcheck_helpers-refactor' into 'master' Tests: replace remaining calls to Qcheck_helpers See merge request tezos/tezos!5446 03 June 2022, 08:06:43 UTC
b0de999 Tests: replace remaining calls to Qcheck_helpers This commit replaces calls to module `Qcheck_helpers' with calls to 'Qcheck2_helpers'` It doesn't affect `proto_*` directories, as those are going to roll out eventually. 03 June 2022, 07:31:23 UTC
e527bcc Qcheck2_helpers: copy `qcheck_neq` from Qcheck_helpers 03 June 2022, 07:31:22 UTC
6269e0d Merge branch 'naih@git-gas-diff-storage' into 'master' git-gas-diff: handle storage diffs See merge request tezos/tezos!5453 03 June 2022, 07:27:31 UTC
afdb2b2 git-gas-diff: add tezt regressions to script. 03 June 2022, 06:52:51 UTC
bdcb608 git-gas-diff: storage related changes. 03 June 2022, 06:52:51 UTC
a685346 Merge branch 'bsall@scoru-hardening-deposits' into 'master' Implement handling of deposit-values in SCORU See merge request tezos/tezos!5398 02 June 2022, 18:41:58 UTC
6926a30 Proto: refactor decoding 'bond id' rpc args 02 June 2022, 18:13:57 UTC
19f507b Proto: use the type [Tez.t] instead of [int] for constant [sc_rollup_stake_amount] 02 June 2022, 18:13:57 UTC
5c0bba7 Proto: collect balance updates in scoru operation results 02 June 2022, 18:13:57 UTC
2885715 Proto: more tests for [Sc_rollup_storage.remove_staker] 02 June 2022, 18:13:57 UTC
2611443 Proto: more tests for [Sc_rollup_storage.withdraw_stake] 02 June 2022, 18:13:57 UTC
2fe2a8f Proto: more tests for [Sc_rollup_storage.deposit_stake] 02 June 2022, 18:13:57 UTC
b950e87 Proto: implement freeze/unfreeze and burn of deposits 02 June 2022, 18:13:57 UTC
60ed9e0 Merge branch 'francois@tezt-refactor-operation' into 'master' Tezt: Refactor the forge of operation See merge request tezos/tezos!5421 02 June 2022, 16:11:43 UTC
a6f559a Tezt: Replace some legacy calls to the new interface 02 June 2022, 15:43:58 UTC
back to top