swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e

sort by:
Revision Author Date Message Commit Date
1f42e89 Lazy_containers: add Compare module for lazy_vector keys Prevents using the polymorphic comparison if the key is not comparable as is. 02 December 2022, 16:14:50 UTC
72de952 Lazy_containers: prevent Lazy_vector overflow 02 December 2022, 14:53:42 UTC
372dfcb Merge tezos/tezos!7016: WASM/PVM: enforce a message limit in outbox Co-authored-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Ole Krüger <ole.kruger@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7016 02 December 2022, 14:39:30 UTC
ce78cbc WASM/Tezt: update regression traces 02 December 2022, 14:13:09 UTC
55ee54e WASM/PVM: test outbox limit 02 December 2022, 13:31:46 UTC
4778d17 WASM/PVM,Proto: enforce limit in outboxes 02 December 2022, 13:31:46 UTC
896929e WASM/PVM: add error code for Full_outbox 02 December 2022, 13:31:45 UTC
0444a70 WASM/PVM: add message limit to outboxes 02 December 2022, 13:31:45 UTC
ca53708 Merge tezos/tezos!6987: WASM/PVM: implement outbox cleanup Co-authored-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Ole Krüger <ole.kruger@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6987 02 December 2022, 12:20:06 UTC
390e081 WASM/PVM: update regression traces 02 December 2022, 11:57:45 UTC
450c917 WASM/PVM: test outbox cleanup Also refactors the outbox test to reuse it 02 December 2022, 11:57:45 UTC
7ee0817 WASM/PVM: flush outdated outboxes 02 December 2022, 11:57:45 UTC
3b27f23 WASM/PVM: refactor Output buffer to keep track of the validity window 02 December 2022, 11:57:45 UTC
b69a517 WASM/PVM: add outbox_validity_period to the state 02 December 2022, 11:57:45 UTC
3051607 Merge tezos/tezos!7007: Better DAL node API (4): Refactor slots tracking on L1 Co-authored-by: iguerNL@Functori <iguer@functori.com> Approved-by: François Thiré <francois.thire@nomadic-labs.com> Approved-by: Palmer Sébastien <sebastien.palmer@functori.com> Approved-by: Mohamed IGUERNLALA <iguer@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7007 02 December 2022, 11:57:03 UTC
d5acf35 Tezt/DAL: test slot headers that are included in L1 blocks as failed 02 December 2022, 11:26:34 UTC
57d3da7 DAL/Node: legacy add_slot_header only expects to save successful applications 02 December 2022, 11:26:34 UTC
891d9b1 DAL/Node: extend slots headers tracking on L1 to include application status 02 December 2022, 11:26:34 UTC
7fa2ec2 DAL/Node: refactor tracking of slot headers inclusion in L1 blocks 02 December 2022, 11:26:34 UTC
46fb7a8 DAL/Node: small refactoring in Irmin paths 02 December 2022, 11:26:34 UTC
38d6a0a Merge tezos/tezos!7036: WASM: Put the version of the WASM PVM in the durable storage Co-authored-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Ole Krüger <ole.kruger@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7036 02 December 2022, 07:40:14 UTC
9e6c4e9 WASM: Put the version of the WASM PVM in the durable storage Fixes https://gitlab.com/tezos/tezos/-/issues/4240 02 December 2022, 07:12:55 UTC
09cbd2b Merge tezos/tezos!7035: WASM: Allow '-' and '_' in durable storage keys Co-authored-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Thomas Pecseli <thomas.pecseli@trili.tech> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7035 02 December 2022, 06:18:38 UTC
bfd49fd WASM: Allow '-' and '_' in durable storage keys 'too_many_reboot' is arguably a better name than 'toomanyreboot' for a key. 02 December 2022, 00:08:05 UTC
c2d3448 Merge tezos/tezos!6835: Pipelining: adapt headers context hash semantics Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> Approved-by: Zay Dargaye <zaynah.dargaye@nomadic-labs.com> Approved-by: François Thiré <francois.thire@nomadic-labs.com> Approved-by: Albin Coquereau <pro.acoquer@protonmail.com> Approved-by: Victor Allombert <victor.allombert@tezcore.com> Approved-by: Diane Gallois-Wong <diane.galloiswong@gmail.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6835 01 December 2022, 22:49:59 UTC
3a9fd0e Changelog: add entries 01 December 2022, 22:18:51 UTC
19f3b38 Everywhere: validation_store.context_hash to resulting_context_hash 01 December 2022, 22:18:51 UTC
5a7922a Tezt: adapt bad block propagation test 01 December 2022, 22:18:51 UTC
418de84 Mockup: add resulting_context_hash RPC and adapt baking 01 December 2022, 22:18:51 UTC
53c3dd9 Doc/RPC: link genesis protocol 01 December 2022, 22:18:51 UTC
94c1652 Baker: handle legacy disk state format 01 December 2022, 22:18:51 UTC
0cddcfb Baker/Alpha: make baker forge header with the pred resulting context 01 December 2022, 22:18:51 UTC
85161bc Shell/RPCs: add resulting_context_hash RPC 01 December 2022, 22:18:51 UTC
bc8c15b Node: plug the automatic store upgrade 01 December 2022, 22:18:51 UTC
e2e4b86 Shell: adapt to new validation semantics 01 December 2022, 22:18:51 UTC
ec90b55 Shell/Validation: adapt validation to the new semantics 01 December 2022, 22:18:51 UTC
3672a71 Shell/Validation: open Tezos_crypto by default and make fmt 01 December 2022, 22:18:51 UTC
14cb119 Snapshots: bump snapshot version 01 December 2022, 22:18:51 UTC
787fd8e Store/Tests: adapt framework to new semantics 01 December 2022, 22:18:51 UTC
46a0e2d Store: remove commit info from protocol table 01 December 2022, 22:18:51 UTC
dda6999 Store: add resulting context hash semantics 01 December 2022, 22:18:51 UTC
a033cb9 Store: open Tezos_crypto by default and make fmt 01 December 2022, 22:18:51 UTC
587d836 Base: update the block shell header's context documentation 01 December 2022, 22:18:51 UTC
3de16cb Proto/Env: introduce expected_context_hash 01 December 2022, 22:18:51 UTC
3e86b75 Merge tezos/tezos!7045: Proto: consume gas for proof verification - 1 Co-authored-by: bsall <boubacar@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7045 01 December 2022, 21:41:29 UTC
e176ac5 Proto: consume gas for proof verification 01 December 2022, 21:15:57 UTC
b96983d Merge tezos/tezos!7019: WASM: Add [max_bytes] to [reveal_metadata] Co-authored-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Andrea Cerone <andrea.cerone@trili.tech> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7019 01 December 2022, 21:15:07 UTC
4ef0cfe WASM: Add [max_bytes] to [reveal_metadata] 01 December 2022, 20:26:25 UTC
092991b Merge tezos/tezos!7034: Scoru,Proto: protect the protocol from bugs in scoru Co-authored-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7034 01 December 2022, 16:25:26 UTC
c9415b5 Scoru,Proto: protect the protocol from exceptions in scoru's code 01 December 2022, 15:57:32 UTC
edada86 Merge tezos/tezos!7027: Scoru,Proto: limit number of messages per inbox level Co-authored-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7027 01 December 2022, 15:54:11 UTC
20854ce Scoru,Proto: remove number of messages per commitment period 01 December 2022, 15:28:56 UTC
4afcde2 Scoru,Proto: limit number of messages per inbox level Set the maximum number of messages to 1_000_000 01 December 2022, 15:28:56 UTC
dd18d34 Lib_base: make [repeat] tail recursive 01 December 2022, 15:28:56 UTC
d087aac Merge tezos/tezos!7008: DAL: Add a GET /slots/<commitment>/proof RPC Co-authored-by: François Thiré <francois.thire@nomadic-labs.com> Approved-by: Mohamed IGUERNLALA <iguer@functori.com> Approved-by: Andrea Cerone <andrea.cerone@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7008 01 December 2022, 15:28:15 UTC
545dbcf DAL/Node: Mini refacto 01 December 2022, 15:00:18 UTC
f2885a8 Tezt: Add a test that check RPC is consistency with the cryptography 01 December 2022, 15:00:18 UTC
b8eb32b Dal/Node: Add a get_slot_commitment_proof RPC 01 December 2022, 15:00:18 UTC
3f06272 Merge tezos/tezos!7010: SCORU: Add benchmark for skip list Co-authored-by: Lucas Randazzo <lucas@nomadic-labs.com> Co-authored-by: Yann Regis-Gianas <yann@nomadic-labs.com> Co-authored-by: Joel Bjornson <joel.bjornson@trili.tech> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> Approved-by: Joel Bjornson <joel.bjornson@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7010 01 December 2022, 14:59:33 UTC
1a67478 Snoop: update tezt script 01 December 2022, 14:30:15 UTC
8e22605 Proto,SCORU: Document assumptions about skip list basis in gas model Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com> 01 December 2022, 14:30:15 UTC
f1643e5 Snoop,SCORU: Document gas model 01 December 2022, 14:30:15 UTC
82f8428 Snoop,SCORU: Document model 01 December 2022, 14:30:15 UTC
2f2c6c9 Proto,SCORU: Expose cost models as OCaml functions Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com> 01 December 2022, 14:30:15 UTC
f31147a Snoop,SCORU: Add gas model for hashing skip list cell Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com> 01 December 2022, 14:30:15 UTC
bf32898 Snoop,SCORU: Add benchmark for skip list back insertion This function is based on a snoop cost model named Skip_list_next. Constants have been obtained with the following sequence of commands: ./octez-snoop benchmark TIMER_LATENCY and save to timer.workload --bench-num 1 --nsamples 100000 ./octez-snoop benchmark proto_alpha/skip_list/next and save to skip_list_next.workload --bench-num 1000 --nsamples 3000 --seed 12897 ./octez-snoop infer parameters for model skip_list on data \ skip_list_next.workload using lasso --lasso-positive --dump-csv \ skip_list_next.csv --save-solution skip_list_next.sol --plot NB. The following software are required: pip install -U scikit-learn sudo apt install gnuplot Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com> 01 December 2022, 14:30:14 UTC
abf1e41 Merge tezos/tezos!6681: Michelson opcodes for bytes-nat conversion Co-authored-by: Jun Furuse <jun.furuse@dailambda.jp> Approved-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6681 01 December 2022, 14:29:27 UTC
6844ebf Docs: covers Michelson opcodes for bytes <=> int/nat conversions 01 December 2022, 14:00:23 UTC
d4b62aa Test: Added bytes_of_{int,nat}.tz to the tests of Contract_opcodes 01 December 2022, 14:00:23 UTC
b2a49ca Proto: added Michelson opcode for bytes and nat/int conversions 01 December 2022, 14:00:23 UTC
d5ae5a0 Proto: Adds Script_int.one : z.num 01 December 2022, 14:00:23 UTC
ad8c744 Stdlib: fixes the comments of TzBytes 01 December 2022, 14:00:23 UTC
bf9c61d Stdlib: makes test_tzBytes.ml replayable with TEST_SEED env var 01 December 2022, 14:00:23 UTC
962a7ac Merge tezos/tezos!6940: Client: Add sc_rollup_client and sc_rollup_node to init-sandboxed-client Co-authored-by: Killian Delarue <killian.delarue@nomadic-labs.com> Approved-by: Alain Mebsout <alain.mebsout@functori.com> Approved-by: Andrea Cerone <andrea.cerone@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6940 01 December 2022, 13:59:20 UTC
6f2535a Client, init-sandboxed-client: Use active_protocol_version 01 December 2022, 13:30:31 UTC
a795ac5 Client: Add sc_rollup_client to init-sandboxed-client 01 December 2022, 13:30:30 UTC
06f0ddc Client: Add sc_rollup_node to init-sandboxed-client 01 December 2022, 13:30:30 UTC
c5f3dd9 Client: Remove endorser from init-sandboxed-client 01 December 2022, 13:30:30 UTC
079e919 Merge tezos/tezos!7003: SCORU: WASM: Include Wasmer error message in exceptions Co-authored-by: Ole Krüger <ole.kruger@trili.tech> Approved-by: Pierre-Emmanuel CORNILLEAU <pe.cornilleau@marigold.dev> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Thomas Letan <lthms@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7003 01 December 2022, 11:30:00 UTC
ab1ee76 SCORU: WASM: Include error messages in Wasmer exceptions 01 December 2022, 11:04:22 UTC
0f4c5bc Merge tezos/tezos!6937: Proto/SCORU: Carbonate refutation game dissection Co-authored-by: Joel Bjornson <joel.bjornson@trili.tech> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> Approved-by: Thomas Letan <lthms@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6937 01 December 2022, 10:13:49 UTC
2744ae5 Proto/SCORU: check dissection cost 01 December 2022, 09:46:38 UTC
a7096e8 Proto/SCORU: stub for play game cost 01 December 2022, 09:46:38 UTC
ed1763f Proto/SCORU: make cost visible for game-repr module 01 December 2022, 09:46:38 UTC
dca58b2 Merge tezos/tezos!6924: DAL/Node: introduce shard ad-hoc storage Co-authored-by: Rémy El Sibaïe <remy.el-sibaie@nomadic-labs.com> Approved-by: Mohamed IGUERNLALA <iguer@functori.com> Approved-by: François Thiré <francois.thire@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6924 01 December 2022, 09:45:53 UTC
3eed640 DAL/Node: replace old Irmin store with Shard_store 01 December 2022, 09:15:08 UTC
3c5df7e Dal/Node: introduce ad-hoc shard store 01 December 2022, 09:15:08 UTC
f996cd2 Stdlib/Unix: register Io_error 01 December 2022, 09:15:08 UTC
3e8fbdc Lib/Base: move Unix_error to lib_stdlib_unix 01 December 2022, 09:15:08 UTC
60104ee Merge tezos/tezos!6925: Update plonk and related packages fixes #4262 Co-authored-by: Victor Dumitrescu <v.dumitrescu@outlook.com> Co-authored-by: Julien Coolen <julien.coolen@nomadic-labs.com> Approved-by: Antonio Locascio <antonio.locascio1@gmail.com> Approved-by: Marco Stronati <marco@stronati.org> Approved-by: Raphaël Proust <code@bnwr.net> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6925 01 December 2022, 08:16:57 UTC
496e7bd Tezt: update Plonk 01 December 2022, 07:45:53 UTC
3c1980e Proto/client: update Plonk 01 December 2022, 07:45:53 UTC
40a9473 Proto: update Plonk 01 December 2022, 07:45:52 UTC
26a4337 Proto/tests: update Plonk 01 December 2022, 07:45:52 UTC
43628a0 Proto-env-v8: update Plonk 01 December 2022, 07:45:52 UTC
69c84e6 Proto-env-v7: update Plonk 01 December 2022, 07:45:52 UTC
d734751 DAL/crypto: update to tezos-bls-polynomial.0.1.4 01 December 2022, 07:45:52 UTC
fdb3c26 Manifest: bump versions of Plonk-related packages 01 December 2022, 07:45:52 UTC
db765fe Build: update opam hash 01 December 2022, 07:45:52 UTC
be0c137 Merge tezos/tezos!7020: Docs: mention the addition of the deposit entrypoint in Lima's changelog Co-authored-by: Antonio Locascio <locascio.Antonio@nomadic-labs.com> Approved-by: Tezos Merbocop <merbocop@cryptium.ch> Approved-by: Germán Delbianco <german@nomadic-labs.com> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7020 01 December 2022, 07:22:12 UTC
back to top