swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e

sort by:
Revision Author Date Message Commit Date
8da4c7c SCORU/Tests: cannot initialize PVM with non empty tree 02 December 2022, 10:24:57 UTC
a0206df SCORU/Tests: initial_state in error monad 02 December 2022, 10:24:33 UTC
2ec203f SCORU/Proto: PVM initial_state returns error if tree not empty 02 December 2022, 09:56:20 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
6c5fefc Docs: add to Lima's changelog the deposit entrypoint 01 December 2022, 06:52:59 UTC
453f404 Merge tezos/tezos!6979: Wasm PVM: improve error code specificity Co-authored-by: Thomas Pécseli <thomas.pecseli@trili.tech> Co-authored-by: Emma Turner <emma.turner@trili.tech> 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/6979 30 November 2022, 22:23:01 UTC
a64174e Wasm PVM: Fix exception name and formatting 30 November 2022, 21:55:56 UTC
adde02a Wasm PVM: return more specific error messages from host_funcs Sometimes host functions (especially durable) were returning `Generic_invalid_access` error, when a more specific error is possible. More specific errors help on the kernel side, as follow-up host func calls are not required to try and work out the source of an error, given a generic error. 30 November 2022, 21:55:56 UTC
10f1d9d Wasm PVM: fix incorrect allocation in write_value_exn If the value does not exist, then the only correct offset should be `0`. Allocating, however, zero-initialises the chunked_byte_vector and sets length to be the size allocated. This meant that `write_value_exn` would incorrectly allow a new value to be written at an offset `0 <= offset < 4096` 30 November 2022, 21:55:56 UTC
d718b2b Wasm PVM: fix overflow in alternate_write_debug_impl The assertion would previously always fail, as `int32.of_int Int.max_int = -1l` 30 November 2022, 21:55:56 UTC
2a44347 Wasm PVM: only have error codes triggered by kernels The Memory_out_of_bounds error could only be triggered by the `alternate_write_debug_impl` - which meant that semantically `alternate_write_debug_impl` did not match `write_debug_impl`, which is always a no-op. 30 November 2022, 21:55:56 UTC
10f891c Merge tezos/tezos!6904: Doc/Michelson: redirect comparisons to interactive reference. Co-authored-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Tezos Merbocop <merbocop@cryptium.ch> Approved-by: Solomon Lederer <solomon.lederer@ext.nomadic-labs.com> Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6904 30 November 2022, 21:43:10 UTC
bcdf40a Doc/Michelson: redirect comparisons to interactive reference. 30 November 2022, 21:08:42 UTC
90d2b61 Merge tezos/tezos!6955: Scoru,Proto: automatically create and archive inbox Co-authored-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6955 30 November 2022, 21:08:01 UTC
492f4ca Scoru,Proto: remove outdated benchmarks for [Sc_rollup_add_messages] https://gitlab.com/tezos/tezos/-/issues/3292 will fix this, and the carbonation should be much simpler 30 November 2022, 20:43:53 UTC
73a9e04 Scoru,Node: immediatly fail on broken properties 30 November 2022, 20:43:53 UTC
8a41cd0 Scoru,Test: adapt tests 30 November 2022, 20:43:53 UTC
ad46aa9 Scoru,Proto: init and archive inbox automatically 30 November 2022, 20:43:53 UTC
3acd1d3 Scoru,Proto: init inbox instead of empty inbox 30 November 2022, 20:43:53 UTC
b4c8d70 Merge tezos/tezos!6665: Improve p2p broadcast Co-authored-by: Mathias Bourgoin <mathias.bourgoin@nomadic-labs.com> Approved-by: Pierre Boutillier <pierre.boutillier@nomadic-labs.com> Approved-by: Nicolas Raymond <nicolas.raymond@nomadic-labs.com> Approved-by: Julien <julien.tesson@nomadic-labs.com> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6665 30 November 2022, 20:43:08 UTC
9b782a0 P2P: Enforce writing message encoded with the correct encoder 30 November 2022, 20:13:10 UTC
back to top