sort by:
Revision Author Date Message Commit Date
376a95b Scoru,Proto: exhaustive pattern 05 September 2022, 11:08:12 UTC
f939d32 Scoru,Proto: use type annotation 05 September 2022, 11:08:12 UTC
5db6686 Merge tezos/tezos!5743: More Alpha_context docstrings Co-authored-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Nic Volanschi <nic.volanschi@nomadic-labs.com> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/5743 05 September 2022, 10:10:40 UTC
3d1548b Proto: Alpha_context docstrings for Dal. 05 September 2022, 09:46:10 UTC
5034832 Proto: Alpha_context docstrings for Dal_errors. 05 September 2022, 09:46:10 UTC
503672e Proto: Alpha_context docstrings for Zk_rollup. 05 September 2022, 09:46:10 UTC
114b1aa Proto: Alpha_context docstrings for First_level_of_protocol.get. 05 September 2022, 09:46:10 UTC
d19a603 Proto: Alpha_context docstrings for remaining Consensus definitions. 05 September 2022, 09:46:10 UTC
77b1cee Proto: Alpha_context docstrings for Sapling. 05 September 2022, 09:46:09 UTC
5b29eda Proto: Alpha_context docstrings for Big_map. 05 September 2022, 09:46:09 UTC
c5b87ac Merge tezos/tezos!6184: ZKRU: Code improvements Co-authored-by: Antonio Locascio <locascio.Antonio@nomadic-labs.com> Approved-by: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com> Approved-by: Marco Stronati <marco@stronati.org> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6184 05 September 2022, 08:59:38 UTC
5958b37 Proto/ZKRU: rename [size] field in Origination result 05 September 2022, 08:36:50 UTC
6bc82ca Test/ZKRU: fix licenses and bound in Dummy ZKRU 05 September 2022, 08:36:50 UTC
188ca8c Proto/ZKRU: remove deprecated [consume_gas] field from op result 05 September 2022, 08:36:50 UTC
f8bfb2e Client/ZKRU: add storage size to origination result pp 05 September 2022, 08:36:50 UTC
d5e0dcf Client/ZKRU: fix estimated storage for ZKRU origination 05 September 2022, 08:36:50 UTC
44ecdd9 Proto/ZKRU: move [circuits_info_encoding] to zk_rollup_account_repr 05 September 2022, 08:36:50 UTC
ed1fa28 Proto/ZKRU: let-syntax in zk_rollup_apply 05 September 2022, 08:36:50 UTC
029688e Proto/ZKRU: Apply suggestions from 6044 Specifically: Remove string_of_bytes in scalar conversion Use Map.bindings for account encoding Fix Storage docstring 05 September 2022, 08:36:50 UTC
b58b551 Merge tezos/tezos!6216: Proto/Scoru: add a separate functor for history cache in Inbox Co-authored-by: iguerNL@Functori <iguer@functori.com> Approved-by: Andrea Cerone <andrea.cerone@trili.tech> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6216 05 September 2022, 08:35:37 UTC
19811f8 Proto/Scoru: add a separate functor for history cache in Inbox 05 September 2022, 08:11:29 UTC
9dc97be Merge tezos/tezos!6230: Proto: H-O functions' args given in consistent ordering in skip_list_repr Co-authored-by: iguerNL@Functori <iguer@functori.com> Approved-by: François Thiré <francois.thire@nomadic-labs.com> Approved-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6230 02 September 2022, 17:19:18 UTC
27440db Proto: H-O functions' args given in consistent ordering in skip_list_repr 02 September 2022, 16:55:59 UTC
24d28d3 Merge tezos/tezos!6178: RPC/Client: add used and paid storage space services/commands. Co-authored-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6178 02 September 2022, 15:49:32 UTC
48ef378 Changelog: add entries. 02 September 2022, 15:20:28 UTC
29b4bde Client: add used/paid storage space commands. 02 September 2022, 15:20:28 UTC
f578aa0 Client: add used/paid storage space functions. Actually calling the RPCs. We'll then use these new functions to create client commands. 02 September 2022, 15:20:28 UTC
90befb3 Plugin/RPC: add used/paid storage space services. 02 September 2022, 15:20:27 UTC
ea58413 Plugin/RPC: format code. With `make fmt-ocaml`. And that's all. 02 September 2022, 15:20:27 UTC
079a8e0 Plugin/RPC: add and use a helper function for originated contracts. Doesn't pass CI (code to format, but I find it easier to review like this). [skip ci] 02 September 2022, 15:20:26 UTC
ecf7486 Proto: expose paid_storage_space. 02 September 2022, 15:20:26 UTC
7cb5b17 Merge tezos/tezos!6224: Test: remove some benchmarks from the runtest alias Co-authored-by: Raphaël Proust <code@bnwr.net> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> Approved-by: Romain <romain@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6224 02 September 2022, 14:39:29 UTC
3a1e5b0 Test: remove some benchmarks from the runtest alias These benchmarks are not tests: their exit code doesn't correlate to success/failure. 02 September 2022, 14:12:41 UTC
830a40e Merge tezos/tezos!6221: Tezt: use valid input for Random.int; maximum is ((1 lsl 30) - 1) Co-authored-by: Raphaël Proust <code@bnwr.net> Approved-by: Romain <romain@nomadic-labs.com> Approved-by: Victor Allombert <victor.allombert@tezcore.com> Approved-by: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6221 02 September 2022, 13:44:57 UTC
7a5868e Tezt: use valid input for Random.int; maximum is ((1 lsl 30) - 1) 02 September 2022, 13:23:30 UTC
7e6c5d6 Merge tezos/tezos!6139: CI: more jobs, more parallelization Co-authored-by: Romain Bardou <romain@nomadic-labs.com> Approved-by: Jérémie Goldberg <jeremie.goldberg@nomadic-labs.com> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6139 02 September 2022, 13:21:46 UTC
a3202d0 CI: start build sooner 02 September 2022, 12:54:01 UTC
218efa3 Alpha/PBT: reduce count for test_refutation_game 02 September 2022, 12:54:01 UTC
63f3395 CI: split the longest unit:alpha job 02 September 2022, 12:54:01 UTC
8846d8d CI: double number of jobs for integration tests 02 September 2022, 12:54:01 UTC
c3dca56 Merge tezos/tezos!6217: WASM: Make 'From_block' resolution its own tick Co-authored-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Hans Hoglund <hans.hoglund@trili.tech> Approved-by: Ole Krüger <ole.kruger@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6217 02 September 2022, 12:07:26 UTC
9bc4364 WASM: Make 'From_block' resolution its own tick Prior to this patch, once the block behind a 'From_block' admin_instr was resolved, the tick continued. This might be fine, but it is not really in line with “a tick is about one thing.” For consistency, we make 'Eval.step' immediately return after this step, rather than calling 'step_resolved'. 02 September 2022, 11:17:34 UTC
30df25a Merge tezos/tezos!6202: Client: add and use a helper for originated contracts. Co-authored-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6202 02 September 2022, 10:49:19 UTC
c547dd5 Client: format code. Running `make fmt-ocaml`. And that's all. 02 September 2022, 10:11:54 UTC
cb454f7 Client_commands: use check_smart_contract. Doesn't pass CI (code to format, but I find it easier to review like this). [skip ci] 02 September 2022, 10:11:54 UTC
b475b23 Client: add and use a helper for originated contracts. Doesn't pass CI (code to format, but I find it easier to review like this). [skip ci] 02 September 2022, 10:11:54 UTC
c111e46 Merge tezos/tezos!6218: Wasm,Env: use type equality Co-authored-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Hans Hoglund <hans.hoglund@trili.tech> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6218 02 September 2022, 09:47:25 UTC
6b4f967 Wasm,Env: use type equality 02 September 2022, 09:20:30 UTC
4f3f8cd Merge tezos/tezos!5562: Tezt/long-test: add replay test Co-authored-by: Raphaël Proust <code@bnwr.net> Approved-by: Romain <romain@nomadic-labs.com> Approved-by: Victor Allombert <victor.allombert@tezcore.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/5562 02 September 2022, 08:40:13 UTC
1677b82 Node: add `--strict` to the `replay` command 02 September 2022, 08:08:06 UTC
715df34 Tezt/long-test: add replay test 02 September 2022, 08:08:06 UTC
2d43932 Merge tezos/tezos!6210: Dal/Scoru: Enable rollup node to call RPCs of Dal nodes (Cloned from !6048) Co-authored-by: Andrea Cerone <andrea.cerone@trili.tech> Approved-by: Rémy El Sibaïe <remy.el-sibaie@nomadic-labs.com> Approved-by: François Thiré <francois.thire@nomadic-labs.com> Approved-by: Andrea Cerone <andrea.cerone@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6210 01 September 2022, 17:20:19 UTC
e47b28d Dal/Rollup node: define RPC calls to dal node 01 September 2022, 16:52:51 UTC
1d08f83 Scoru/Rollup node: add client context for dal node 01 September 2022, 16:52:51 UTC
70b22d0 Dal/rollup node: configuration parameter for connecting to dal node 01 September 2022, 16:52:51 UTC
28bdf02 Scoru/Manifest: add dependency to dal node services 01 September 2022, 16:52:51 UTC
07a4e69 Proto/Dal: expose type equalities for Slot header 01 September 2022, 16:52:51 UTC
0c6a9c3 Merge tezos/tezos!5976: Tezt: remove dependency from Regression to Process Co-authored-by: Romain Bardou <romain@nomadic-labs.com> Approved-by: Hugo Heuzard <hugo.heuzard@gmail.com> Approved-by: Raphaël Proust <code@bnwr.net> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/5976 01 September 2022, 16:52:08 UTC
4f28bc3 Tezt: fix empty expected dir check 01 September 2022, 16:25:27 UTC
9e9eed2 Tezt: add self test for Diff 01 September 2022, 16:25:27 UTC
3a9892c Tezt: use Diff in Regression 01 September 2022, 16:25:27 UTC
8fddddf Tezt: add Diff 01 September 2022, 16:25:27 UTC
487f40b Tezt: introduce Process_hooks 01 September 2022, 16:25:27 UTC
fc59d70 Merge tezos/tezos!6101: WASM: Wrap exceptions into a Stuck state 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/6101 01 September 2022, 16:23:37 UTC
4c10d5d WASM/PVM: wrong PVM state leads to Stuck state 01 September 2022, 15:57:09 UTC
024b72f WASM: wrap interpreter exceptions into a `Stuck` state 01 September 2022, 15:57:09 UTC
f3d93d6 WASM/Tests: move encodings testing facilities into their own module 01 September 2022, 15:57:09 UTC
fde6c28 WASM/Interpret: proper error for irreducible states 01 September 2022, 15:57:09 UTC
95d6f44 Merge tezos/tezos!6085: Lib_protocol_environment: Adapt to Resto 0.10 Co-authored-by: Raphaël Proust <code@bnwr.net> Co-authored-by: Killian Delarue <killian.delarue@nomadic-labs.com> Approved-by: Nicolas Raymond <nicolas.raymond@nomadic-labs.com> Approved-by: Raphaël Proust <code@bnwr.net> Approved-by: Pierre Boutillier <pierre.boutillier@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6085 01 September 2022, 15:27:26 UTC
9337d96 Build: update opam hash 01 September 2022, 14:56:05 UTC
d65b11e proto: fix deprecated lwt_result.err 01 September 2022, 14:56:04 UTC
f515825 Manifest: Use Lwt 5.6.0 01 September 2022, 14:56:04 UTC
6ea8bbe lib_shell: fix deprecated lwt_result.err 01 September 2022, 14:56:04 UTC
bb578fe lib_lwt_result_stdlib: fix deprecated lwt_result.err 01 September 2022, 14:56:04 UTC
77f9788 lib_protocol_environment: Adapt to resto v0.10 01 September 2022, 14:56:04 UTC
548a8eb Manifest: use Resto 0.10 01 September 2022, 14:56:04 UTC
53c40e1 lib_protocol_environment: Adapt to resto v0.9 01 September 2022, 14:56:04 UTC
f402725 Manifest: use resto 0.9 01 September 2022, 14:56:04 UTC
9704226 Merge tezos/tezos!6189: SCORU: WASM: Expose only memory instance to host functions Co-authored-by: Ole Krüger <ole.kruger@trili.tech> Approved-by: corneliuhoffman <corneliuhoffman@gmail.com> Approved-by: Hans Hoglund <hans.hoglund@trili.tech> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6189 01 September 2022, 14:54:45 UTC
9ef2624 SCORU: WASM: Expose only memory instance to host functions 01 September 2022, 14:20:23 UTC
f1b808b Merge tezos/tezos!6193: Build: upgrade irmin to 3.4.0 Co-authored-by: Pierre Boutillier <pierre.boutillier@nomadic-labs.com> Approved-by: Victor Allombert <victor.allombert@tezcore.com> Approved-by: Hugo Heuzard <hugo.heuzard@gmail.com> Approved-by: Romain <romain@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6193 01 September 2022, 12:17:46 UTC
4b1958a Build: upgrade irmin to 3.4.0 01 September 2022, 11:46:09 UTC
45cf9e1 Merge tezos/tezos!6192: SCORU: Use ppx deriving show instead of handmade Ast_printers.pp_instr Co-authored-by: ovidiu deac <ovidiu@pointfree.ro> Approved-by: Ole Krüger <ole.kruger@trili.tech> Approved-by: Joel Bjornson <joel.bjornson@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6192 01 September 2022, 11:20:45 UTC
ffdb57b SCORU: Use ppx deriving show instead of handmade Ast_printers.pp_instr 01 September 2022, 11:20:45 UTC
63aa2fb Merge tezos/tezos!6204: Hacl: do not promote runtime-generated.js Co-authored-by: Alain Mebsout <alain.mebsout@functori.com> Approved-by: Hugo Heuzard <hugo.heuzard@gmail.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6204 01 September 2022, 09:36:57 UTC
ac711b4 Hacl: do not promote runtime-generated.js The file generated is different depending on the system. 01 September 2022, 09:08:02 UTC
7ff2fab Merge tezos/tezos!6183: Remove PVSS from lib_crypto and protocol environments Co-authored-by: Victor Dumitrescu <v.dumitrescu@outlook.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/6183 01 September 2022, 09:07:20 UTC
d4dfe58 Lib_crypto: remove PVSS 01 September 2022, 08:36:10 UTC
6802066 Proto_env: remove PVSS 01 September 2022, 08:36:10 UTC
0dc8813 Merge tezos/tezos!6197: Scoru: produce inclusion proof dead code Co-authored-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> Approved-by: Mohamed IGUERNLALA <iguer@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6197 01 September 2022, 08:20:25 UTC
a3590d1 Scoru,Proto: move dead code to [Internal_for_tests] 01 September 2022, 07:53:20 UTC
cf96afd Scoru,Proto: fix typo 01 September 2022, 07:53:20 UTC
ca628a5 Merge tezos/tezos!6191: Remove build_release stage from CI Co-authored-by: Neo <11726174-neo.nomadic@users.noreply.gitlab.com> Approved-by: Romain <romain@nomadic-labs.com> Approved-by: Jérémie Goldberg <jeremie.goldberg@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6191 01 September 2022, 07:52:35 UTC
3d340c8 Remove build_release stage from CI 01 September 2022, 07:52:35 UTC
a06ed41 Merge tezos/tezos!6176: Doc fixes for new faucets without json. Co-authored-by: Nicolas Ochem <nicolas.ochem@gmail.com> Approved-by: Tezos Merbocop <merbocop@cryptium.ch> Approved-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Nic Volanschi <nic.volanschi@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6176 31 August 2022, 16:59:48 UTC
c31ed30 fix funding order for Alice and Bob in tutorial 31 August 2022, 16:16:08 UTC
b1eebf6 Doc fixes for new faucets without json. 31 August 2022, 16:16:08 UTC
fbad2da Merge tezos/tezos!6190: Tree_encoding: add wrapped tree Co-authored-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Ole Krüger <ole.kruger@trili.tech> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6190 31 August 2022, 14:25:38 UTC
d2cdab8 Tree_encoding: add wrapped tree Can be used to make multiple changes to a subtree, which can be committed as one. Combination of: - 913a9947 Tree_encoding: add lazy_tree tree_encoding - 5844c82e Alternative proposal for lazy trees Co-Authored-By: Emma Turner <emma.turner@trili.tech> 31 August 2022, 13:57:13 UTC
0b6d44d Merge tezos/tezos!6164: WASM: Going deeper into the rabbit hole of tickifying Eval.init Co-authored-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Joel Bjornson <joel.bjornson@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6164 31 August 2022, 13:52:09 UTC
back to top