Skip to main content

Browse the archive

swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
sort by:
Revision Author Date Message Commit Date
fe51bc7 Lucas Randazzo 05 December 2022, 16:46:13 UTC Snoop: add a force mode for parameter solving 05 December 2022, 17:13:38 UTC
13843b4 Lucas Randazzo 05 December 2022, 10:19:33 UTC wip2 05 December 2022, 17:12:16 UTC
213d0b5 Lucas Randazzo 05 December 2022, 09:45:14 UTC wip 05 December 2022, 17:12:16 UTC
3f716a1 Lucas Randazzo 30 November 2022, 14:56:54 UTC Snoop: add interface file to dep_graph.ml 05 December 2022, 17:10:54 UTC
f635b89 Lucas Randazzo 30 November 2022, 13:57:53 UTC Snoop: move dep_graph.ml to lib_benchmark 05 December 2022, 17:10:54 UTC
28139fe Lucas Randazzo 29 November 2022, 10:49:32 UTC Proto/bench: remove collision in parameter names 05 December 2022, 17:09:42 UTC
170cc9d Lucas Randazzo 28 November 2022, 09:33:07 UTC Snoop: refactor registration 05 December 2022, 17:09:42 UTC
b7c0334 Lucas Randazzo 23 November 2022, 12:03:25 UTC Snoop: add display commands 05 December 2022, 17:09:42 UTC
cb87dfd Lucas Randazzo 22 November 2022, 14:45:08 UTC Snoop: named arguments for bloomer benchmarks 05 December 2022, 17:09:41 UTC
0d87e7d Lucas Randazzo 28 November 2022, 10:41:23 UTC Snoop: clean up list commands 05 December 2022, 17:07:59 UTC
8ce4406 Lucas Randazzo 24 November 2022, 13:31:04 UTC Snoop: refactor intepreter model 05 December 2022, 17:07:59 UTC
e0fe4e3 Lucas Randazzo 24 November 2022, 10:45:52 UTC Snoop: privatize builtins 05 December 2022, 17:07:58 UTC
0a0bb79 Lucas Randazzo 24 November 2022, 10:29:29 UTC Snoop: autocompletion of infered models suggests local names 05 December 2022, 17:07:58 UTC
a333fa0 Lucas Randazzo 24 November 2022, 09:56:59 UTC Snoop: clean up model.ml, add interface file 05 December 2022, 17:07:58 UTC
96a857c Lucas Randazzo 22 November 2022, 10:52:10 UTC Proto/bench: patch old protocols to compile 05 December 2022, 17:07:57 UTC
dc9e4fd Lucas Randazzo 21 November 2022, 16:42:14 UTC Snoop: update tests 05 December 2022, 17:07:57 UTC
5bfe5f2 Lucas Randazzo 21 November 2022, 15:22:21 UTC Snoop: update cram test 05 December 2022, 17:07:57 UTC
85f22c5 Lucas Randazzo 21 November 2022, 14:07:16 UTC Snoop: add command `list all models` 05 December 2022, 17:07:56 UTC
d3514b4 Lucas Randazzo 21 November 2022, 15:25:48 UTC Snoop: update current benchmarks with new models and registration 05 December 2022, 17:07:56 UTC
e83f44d Lucas Randazzo 21 November 2022, 15:25:39 UTC Snoop: Change model names and registration 05 December 2022, 16:54:03 UTC
76d74a2 Marge Bot 05 December 2022, 16:11:41 UTC Merge tezos/tezos!7063: WASM: Expose the reboot counter 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> Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7063 05 December 2022, 16:11:41 UTC
45e51c4 Thomas Letan 03 December 2022, 11:06:35 UTC WASM: Expose the reboot counter in the durable storage 05 December 2022, 15:49:35 UTC
90ff5c3 Marge Bot 05 December 2022, 15:48:50 UTC Merge tezos/tezos!6658: Tezt/Scripts: #4008 Part 2: restructure tezt tests contracts according to #4008 Co-authored-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> Co-authored-by: Richard Davison <richardneildavison@gmail.com> Approved-by: Romain <romain@nomadic-labs.com> Approved-by: Richard Davison <richardneildavison@gmail.com> Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6658 05 December 2022, 15:48:50 UTC
6d2b531 Arvid Jakobsson 30 November 2022, 10:32:20 UTC Tezt/Tests: Use [Michelson_script] module to locate scripts 05 December 2022, 15:20:20 UTC
6e804dc Arvid Jakobsson 30 November 2022, 10:12:31 UTC Tests: rename [tezt/tests/contracts => michelson_test_scripts] 05 December 2022, 15:20:20 UTC
b886fd9 Arvid Jakobsson 21 October 2022, 08:35:20 UTC Tezt/Scripts: move and version scripts 05 December 2022, 15:20:20 UTC
2559b42 Arvid Jakobsson 03 November 2022, 11:55:45 UTC Tezt/Scripts: remove unused comb-literals.tz script This script is a duplicate of [tests_python/contracts_*/opcodes/comb-literals.tz]. One tezt test refers to [comb-literals.tz] but searches it at the aforementioned path and not in [tezt/tests/contracts]. 05 December 2022, 15:20:20 UTC
ff1236c Arvid Jakobsson 27 October 2022, 17:38:15 UTC Tezt/Scripts: Rename [constant_999] to [999_constant] 05 December 2022, 15:20:20 UTC
6caca26 Arvid Jakobsson 21 October 2022, 08:34:42 UTC Tezt/Scripts: Remove duplicated Michelson scripts Delete duplicate scripts [str_id], [big_map_entrypoints], [big_map_perf] and [tx_rollup_withdraw]. 05 December 2022, 15:20:20 UTC
557d33d Arvid Jakobsson 21 October 2022, 08:24:04 UTC Tezt/Client: Add [run_script_at] 05 December 2022, 15:20:20 UTC
a95d12b Richard Davison 26 October 2022, 23:25:02 UTC Tezt/Client: add [originate_contract_at] 05 December 2022, 15:20:20 UTC
6c441b2 Marge Bot 05 December 2022, 15:19:25 UTC Merge tezos/tezos!7066: Doc: version 15.1 Co-authored-by: Romain Bardou <romain@nomadic-labs.com> Approved-by: Nic Volanschi <nic.volanschi@nomadic-labs.com> Approved-by: Tezos Merbocop <merbocop@cryptium.ch> Approved-by: Pierre Boutillier <pierre.boutillier@nomadic-labs.com> Approved-by: Germán Delbianco <german@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7066 05 December 2022, 15:19:25 UTC
5dc99b9 Romain Bardou 05 December 2022, 08:32:08 UTC Doc: version 15.1 05 December 2022, 14:56:17 UTC
3675165 Marge Bot 05 December 2022, 14:07:13 UTC Merge tezos/tezos!7046: Better DAL node API (5): New storage layout for slots tracking on L1 Co-authored-by: iguerNL@Functori <iguer@functori.com> Approved-by: Rodi-Can Bozman <rbozman.functori@gmail.com> Approved-by: Martin Tomazic <martin.tomazic97@gmail.com> Approved-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/7046 05 December 2022, 14:07:13 UTC
767ba71 iguerNL@Functori 02 December 2022, 08:37:23 UTC DAL/Node: use a new storage layout for slot headers 05 December 2022, 13:42:10 UTC
e2e3d55 iguerNL@Functori 02 December 2022, 08:18:05 UTC DAL/Node: define various statuses for slot headers 05 December 2022, 13:42:10 UTC
cc4ea3c Marge Bot 05 December 2022, 13:14:02 UTC Merge tezos/tezos!7023: Scoru: add cost for add messages Co-authored-by: Sylvain Ribstein <sylvain.ribstein@gmail.com> Co-authored-by: Joel Bjornson <joel.bjornson@trili.tech> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Joel Bjornson <joel.bjornson@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7023 05 December 2022, 13:14:02 UTC
7769a09 Sylvain Ribstein 05 December 2022, 10:38:56 UTC test/scoru: change hard_gas_limit for huge inbox lvl test 05 December 2022, 12:45:11 UTC
aa713e1 Joel Bjornson 02 December 2022, 09:42:08 UTC test: update regression output for tickets 05 December 2022, 12:45:11 UTC
e12f6f5 Sylvain Ribstein 30 November 2022, 15:01:05 UTC test: reset regression trace 05 December 2022, 12:45:11 UTC
a1306b4 Sylvain Ribstein 30 November 2022, 14:27:21 UTC proto/scoru: consume cost for adding messages 05 December 2022, 12:45:11 UTC
e53838c Sylvain Ribstein 30 November 2022, 14:25:44 UTC proto/scoru: remove duplicated module 05 December 2022, 12:45:11 UTC
df8f31d Sylvain Ribstein 30 November 2022, 14:24:54 UTC proto/scoru: remove unused fct 05 December 2022, 12:45:11 UTC
dbb386f Marge Bot 05 December 2022, 11:12:45 UTC Merge tezos/tezos!7070: Snop/tezt: add skip list benchmarks Co-authored-by: Lucas Randazzo <lucas@nomadic-labs.com> Approved-by: Joel Bjornson <joel.bjornson@trili.tech> Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7070 05 December 2022, 11:12:45 UTC
92e77ca Lucas Randazzo 05 December 2022, 10:25:27 UTC Snop/tezt: add skip list benchmarks 05 December 2022, 10:25:27 UTC
34affe0 Marge Bot 05 December 2022, 10:01:37 UTC Merge tezos/tezos!7053: Py2ML: Migrate TestExecutionOrdering from pytest to tezt Co-authored-by: lin <linoshitani@gmail.com> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> Approved-by: lykimquyen <1718826-lykimquyen@users.noreply.gitlab.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7053 05 December 2022, 10:01:37 UTC
e7a54b6 lin 02 December 2022, 11:20:10 UTC Pytest: Remove TestExecutionOrdering from pytest 05 December 2022, 09:33:46 UTC
e62aded lin 01 December 2022, 18:05:16 UTC Tezt: Migrate TestExecutionOrdering to Tezt 05 December 2022, 09:33:46 UTC
7abbbd3 lin 01 December 2022, 17:22:22 UTC Tezt/Client: Add ?force option to originate_contract 05 December 2022, 09:33:46 UTC
65d9677 Marge Bot 05 December 2022, 08:48:09 UTC Merge tezos/tezos!6314: Migrate TestView to tezt Co-authored-by: Ding Xiang Fei <xf@marigold.dev> Approved-by: Lin Oshitani <linoshitani@gmail.com> Approved-by: YunYan <jaiyalas@gmail.com> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6314 05 December 2022, 08:48:09 UTC
b8e70ac X 05 December 2022, 08:48:09 UTC Migrate TestView to tezt 05 December 2022, 08:48:09 UTC
8ed096f Marge Bot 05 December 2022, 08:24:46 UTC Merge tezos/tezos!6616: Move contract non-regression tests to tezt Co-authored-by: Ding Xiang Fei <xf@marigold.dev> Approved-by: lykimquyen <1718826-lykimquyen@users.noreply.gitlab.com> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6616 05 December 2022, 08:24:46 UTC
25a86fc X 05 December 2022, 08:24:46 UTC Move contract non-regression tests to tezt 05 December 2022, 08:24:46 UTC
8b50837 Marge Bot 04 December 2022, 21:59:52 UTC Merge tezos/tezos!6843: Doc/Michelson: redirect stack operations to interactive reference. Co-authored-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Co-authored-by: Nic Volanschi <nic.volanschi@nomadic-labs.com> Approved-by: Tezos Merbocop <merbocop@cryptium.ch> Approved-by: Nic Volanschi <nic.volanschi@nomadic-labs.com> 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/6843 04 December 2022, 21:59:52 UTC
31f2290 Nicolas Ayache 30 November 2022, 23:01:41 UTC Doc/Michelson: reword the description of LAMBDA_REC. 04 December 2022, 21:22:09 UTC
abea611 Nicolas Ayache 17 November 2022, 12:52:08 UTC Doc/Michelson: add links to the interactive reference. 04 December 2022, 21:22:08 UTC
500f420 Nic Volanschi 15 November 2022, 22:14:22 UTC Doc/Michelson: fix quotes in some places. 04 December 2022, 21:22:08 UTC
af64ee6 Nicolas Ayache 15 November 2022, 13:20:45 UTC Doc/Michelson: redirect stack operations to interactive reference. 04 December 2022, 21:22:08 UTC
900fdf6 Marge Bot 02 December 2022, 17:37:09 UTC Merge tezos/tezos!6380: Proto,SCORU: Migrate from Irmin Tree32 to Tree2 Co-authored-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> Approved-by: Alain Mebsout <alain.mebsout@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6380 02 December 2022, 17:37:09 UTC
e95af3b Thomas Letan 30 November 2022, 16:51:57 UTC Proto,SCORU: Migrate from Irmin Tree32 to Tree2 Co-authored-by: Alain Mebsout <alain.mebsout@functori.com> Co-authored-by: Yann Regis-Gianas <yann@nomadic-labs.com> 02 December 2022, 16:03:15 UTC
4eaeeac Marge Bot 02 December 2022, 15:46:48 UTC Merge tezos/tezos!6833: Devtools/gas parameter diff: support any number of input CSV Co-authored-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> Approved-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Lucas Randazzo <lucas.randazzo@nomadic-labs.com> Approved-by: Jun Furuse <jun.furuse@gmail.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6833 02 December 2022, 15:46:48 UTC
93bbc6a Raphaël Cauderlier 16 November 2022, 12:24:24 UTC Devtools/gas parameter diff: explicit error messages on invalid inputs 02 December 2022, 15:21:53 UTC
74c14b9 Raphaël Cauderlier 14 November 2022, 21:33:14 UTC Devtools/gas parameter diff: Add a title line and regression score 02 December 2022, 15:21:53 UTC
11f7c7d Raphaël Cauderlier 05 November 2022, 21:58:26 UTC Devtools/gas parameter diff: support any number of input CSV 02 December 2022, 15:21:53 UTC
5ff6bc6 Raphaël Cauderlier 02 December 2022, 15:12:11 UTC Devtools/gas parameter diff: replace map2 by combine 02 December 2022, 15:21:53 UTC
372dfcb Marge Bot 02 December 2022, 14:39:30 UTC 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 Pierrick Couderc 02 December 2022, 14:13:09 UTC WASM/Tezt: update regression traces 02 December 2022, 14:13:09 UTC
55ee54e Pierrick Couderc 30 November 2022, 11:43:24 UTC WASM/PVM: test outbox limit 02 December 2022, 13:31:46 UTC
4778d17 Pierrick Couderc 29 November 2022, 19:20:22 UTC WASM/PVM,Proto: enforce limit in outboxes 02 December 2022, 13:31:46 UTC
896929e Pierrick Couderc 29 November 2022, 13:56:04 UTC WASM/PVM: add error code for Full_outbox 02 December 2022, 13:31:45 UTC
0444a70 Pierrick Couderc 29 November 2022, 13:49:28 UTC WASM/PVM: add message limit to outboxes 02 December 2022, 13:31:45 UTC
ca53708 Marge Bot 02 December 2022, 12:20:06 UTC 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 Pierrick Couderc 02 December 2022, 11:55:26 UTC WASM/PVM: update regression traces 02 December 2022, 11:57:45 UTC
450c917 Pierrick Couderc 28 November 2022, 13:25:00 UTC WASM/PVM: test outbox cleanup Also refactors the outbox test to reuse it 02 December 2022, 11:57:45 UTC
7ee0817 Pierrick Couderc 28 November 2022, 13:20:56 UTC WASM/PVM: flush outdated outboxes 02 December 2022, 11:57:45 UTC
3b27f23 Pierrick Couderc 25 November 2022, 11:20:53 UTC WASM/PVM: refactor Output buffer to keep track of the validity window 02 December 2022, 11:57:45 UTC
b69a517 Pierrick Couderc 23 November 2022, 16:36:16 UTC WASM/PVM: add outbox_validity_period to the state 02 December 2022, 11:57:45 UTC
3051607 Marge Bot 02 December 2022, 11:57:03 UTC 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 iguerNL@Functori 01 December 2022, 19:51:59 UTC Tezt/DAL: test slot headers that are included in L1 blocks as failed 02 December 2022, 11:26:34 UTC
57d3da7 iguerNL@Functori 01 December 2022, 19:49:55 UTC DAL/Node: legacy add_slot_header only expects to save successful applications 02 December 2022, 11:26:34 UTC
891d9b1 iguerNL@Functori 02 December 2022, 11:16:32 UTC DAL/Node: extend slots headers tracking on L1 to include application status 02 December 2022, 11:26:34 UTC
7fa2ec2 iguerNL@Functori 29 November 2022, 12:09:29 UTC DAL/Node: refactor tracking of slot headers inclusion in L1 blocks 02 December 2022, 11:26:34 UTC
46fb7a8 iguerNL@Functori 01 December 2022, 15:58:39 UTC DAL/Node: small refactoring in Irmin paths 02 December 2022, 11:26:34 UTC
38d6a0a Marge Bot 02 December 2022, 07:40:14 UTC 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 Thomas Letan 01 December 2022, 08:02:43 UTC 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 Marge Bot 02 December 2022, 06:18:38 UTC 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 Thomas Letan 01 December 2022, 09:15:00 UTC 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 Marge Bot 01 December 2022, 22:49:59 UTC 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 vbot 23 November 2022, 11:02:13 UTC Changelog: add entries 01 December 2022, 22:18:51 UTC
19f3b38 vbot 01 December 2022, 16:33:26 UTC Everywhere: validation_store.context_hash to resulting_context_hash 01 December 2022, 22:18:51 UTC
5a7922a vbot 23 November 2022, 10:02:37 UTC Tezt: adapt bad block propagation test 01 December 2022, 22:18:51 UTC
418de84 vbot 15 November 2022, 10:43:42 UTC Mockup: add resulting_context_hash RPC and adapt baking 01 December 2022, 22:18:51 UTC
53c3dd9 vbot 15 November 2022, 09:53:34 UTC Doc/RPC: link genesis protocol 01 December 2022, 22:18:51 UTC
94c1652 vbot 14 November 2022, 13:59:26 UTC Baker: handle legacy disk state format 01 December 2022, 22:18:51 UTC
0cddcfb vbot 10 November 2022, 09:07:34 UTC Baker/Alpha: make baker forge header with the pred resulting context 01 December 2022, 22:18:51 UTC
85161bc vbot 14 November 2022, 15:12:32 UTC Shell/RPCs: add resulting_context_hash RPC 01 December 2022, 22:18:51 UTC
bc8c15b vbot 10 November 2022, 09:05:27 UTC Node: plug the automatic store upgrade 01 December 2022, 22:18:51 UTC
e2e4b86 vbot 10 November 2022, 09:00:18 UTC Shell: adapt to new validation semantics 01 December 2022, 22:18:51 UTC
ec90b55 vbot 10 November 2022, 08:52:09 UTC Shell/Validation: adapt validation to the new semantics 01 December 2022, 22:18:51 UTC
3672a71 vbot 21 November 2022, 13:41:33 UTC Shell/Validation: open Tezos_crypto by default and make fmt 01 December 2022, 22:18:51 UTC
back to top