https://gitlab.com/tezos/tezos

sort by:
Revision Author Date Message Commit Date
cdc9ef1 Scoru/Tests: Test some properties of inclusion proofs production This MR adds more PBT test for inboxes and history: - Checking inboxes history length - Checking inboxes history content and order - Checking inclusion proofs validity depending on history capacity - Checking results of add_messages when histories have different capacities 21 July 2022, 16:33:05 UTC
0c5404a Proto/scoru: expose some functions from sc_rollup_inbox for testing 21 July 2022, 16:31:36 UTC
27a93a0 Scoru/Tests: refactoring to be able to reuse populate_inboxes 21 July 2022, 16:24:27 UTC
9b340ca Merge branch 'iguerNL@functori@scoru@simple-renaming-in-inbox-history' into 'master' Proto/Scoru: simple fields renaming in history to auto-document. See merge request tezos/tezos!5925 20 July 2022, 12:11:37 UTC
c955ae5 Proto/Scoru: simple fields renaming in history to auto-document. Use better fields names in `history` fields to auto-document the code and avoid ambiguity. Also add docstring for all the fields of `history` datatype. 20 July 2022, 11:45:49 UTC
04fff4f Merge branch 'more-tree-encoders' into 'master' Lib_scoru_wasm: More tree encoders See merge request tezos/tezos!5892 19 July 2022, 16:52:16 UTC
7e31303 Lib_scoru_wasm/Test: test for value-option 19 July 2022, 16:25:12 UTC
1cf8da0 Lib_scoru_wasm: introduce value-option 19 July 2022, 16:24:48 UTC
124c59f Lib_scoru_wasm/Test: more tests 19 July 2022, 16:22:23 UTC
76afc84 Lib_scoru_wasm: option encoding 19 July 2022, 16:22:19 UTC
10fc7fa Lib_scoru_wasm: support case-lwt 19 July 2022, 16:22:14 UTC
3d08305 Lib_scoru_wasm: fix docs for tree-encoding-decoding 19 July 2022, 16:22:11 UTC
5309ded Lib_scoru_wasm: distinct tuple elem keys 19 July 2022, 16:22:07 UTC
14e2bdb Lib_scoru_wasm: more tup combinators 19 July 2022, 14:28:49 UTC
2631195 Merge branch 'raphael-p@tezt-entrypoint-ml-file' into 'master' Tezt: add entrypoint compilation unit See merge request tezos/tezos!5806 19 July 2022, 10:09:43 UTC
db530ca doc: specialize tezt/Readme for Tezt-Tezos 19 July 2022, 09:07:09 UTC
2ce7275 doc: add Readme in tezt/lib/ 19 July 2022, 09:07:09 UTC
522ecdc Tezt: add entrypoint compilation unit (new file tezt/lib/tezt.ml) 19 July 2022, 09:07:09 UTC
ae2a35c Merge branch 'functori@scoru@improvements' into 'master' Proto/Scoru: add details when attempting to cement a too recent commit See merge request tezos/tezos!5898 19 July 2022, 09:05:52 UTC
3ccf6b5 Proto/Scoru: add details when attempting to cement a too recent commit 19 July 2022, 08:40:43 UTC
1c73c0a Merge branch 'arvid@refactor-mockup-constants' into 'master' Mockup: remove duplicated constants type in `mockup.ml` See merge request tezos/tezos!5885 19 July 2022, 08:40:01 UTC
40ffe70 Mockup: remove Protocol_constants_overrides duplication Instead, apply mockup's protocol parameter overrides on the JSON level. 19 July 2022, 08:12:09 UTC
a266712 Tests/Python: testnet_dictator of test_mockup.py should not be default 19 July 2022, 08:12:09 UTC
36cff37 Merge branch 'emturner@3124-scoru-wasm-boot-compute-test' into 'master' Scoru,wasm: test gather floppies proof generation size is bounded See merge request tezos/tezos!5860 18 July 2022, 17:02:56 UTC
4513500 Scoru,wasm: test gather floppies proof generation 18 July 2022, 16:33:18 UTC
9f8c1c2 Merge branch 'klakplok@wasm_derec_instr' into 'master' SCORU/WASM: make instruction recursion indirect using a per-nodule table of basic blocks See merge request tezos/tezos!5744 18 July 2022, 15:07:46 UTC
364cf45 Wasm: use `Lazy_vector.append` in parsers 18 July 2022, 14:41:02 UTC
4499f34 Wasm: add `Lazy_vector.append` 18 July 2022, 14:41:02 UTC
1f55152 Wasm: add `Ast.block_table` type alias 18 July 2022, 14:41:02 UTC
d08ee74 Wasm: stop building `instr list`s in parser 18 July 2022, 14:41:01 UTC
ac6cd0c Wasm: basic blocks now stored as lazy vectors 18 July 2022, 14:41:01 UTC
3cd2218 Wasm: eval uses instruction pointers 18 July 2022, 14:41:01 UTC
8b09468 Wasm: flatten instruction recursion using a per module table of basic blocks 18 July 2022, 14:41:01 UTC
b781eb6 Merge branch 'mehdi@remove_ithaca_tests' into 'master' Tezt: remove Ithaca tests See merge request tezos/tezos!5827 18 July 2022, 14:13:20 UTC
d33b9a4 Tezt: J is now the smallest protocol 18 July 2022, 13:48:05 UTC
cf78e7d Tezt: remove regression outputs for Ithaca 18 July 2022, 13:48:05 UTC
8b32dd3 Tezt/Manager_operations: test_batch_simple_transfers_wrong_counters (_2) should work for all protocols Co-Authored By: Alain Mebsout <alain.mebsout@functori.com> 18 July 2022, 13:48:05 UTC
8678008 Tezt/Run_script: rewrite test registration 18 July 2022, 13:48:05 UTC
99df1df Tezt: more simplifications 18 July 2022, 13:48:05 UTC
c26094d Tezt: simplify supports 18 July 2022, 13:48:04 UTC
b770082 Tezt: remove Ithaca 18 July 2022, 13:48:04 UTC
231b556 Tezt: cannot stitch from Jakarta to Alpha 18 July 2022, 13:48:04 UTC
66210b4 Tezt/Manager_operations: block_over_ops_below should work for all protocols 18 July 2022, 13:48:04 UTC
b1f4bad Tezt/Prevalidator: port precheck_with_empty_balance to J+ Co-Authored By: François Thiré <francois.thire@nomadic-labs.com> 18 July 2022, 13:48:04 UTC
9cc017b Tezt/Prevalidator: remove useless match 18 July 2022, 13:48:04 UTC
eb77102 Tezt/Prevalidator: fix typo 18 July 2022, 13:48:04 UTC
e66341b Tezt: test_simple_transfers_successive_wrong_counters should work for all protocols 18 July 2022, 13:48:04 UTC
ae845f9 Tezt: test_deserialization_gas_accounting should work for all protocols 18 July 2022, 13:48:04 UTC
3bb7b43 Tezt: remove baking_operation_exception_ithaca 18 July 2022, 13:48:04 UTC
cea83f6 Merge branch 'scotoru@improve_pp_op' into 'master' Client/scoru: improve scoru (and toru) operation printing Closes #3125 See merge request tezos/tezos!5811 18 July 2022, 13:47:22 UTC
6b6c0ab client/op_result: improve pp of toru/scoru op 18 July 2022, 12:37:41 UTC
4092154 Merge branch 'pierrick@remove-chunked-buffer' into 'master' WASM: Remove [Chunked_bytes_vector.Buffer] See merge request tezos/tezos!5890 18 July 2022, 11:55:22 UTC
b161a04 WASM: Remove [Chunked_bytes_vector.Buffer] This indirection makes the parse more complex for no specific reason. This commit also provides a safe implementation of `to_string` and `to_bytes`. 18 July 2022, 11:28:11 UTC
1630bac Merge branch 'romain-v14-doc' into 'master' Doc: fix small typos in docs/CHANGES.rst See merge request tezos/tezos!5894 18 July 2022, 11:27:32 UTC
d7af5f4 Doc: fix small typos in docs/CHANGES.rst 18 July 2022, 11:00:35 UTC
eb55355 Merge branch 'functori@scoru@type-for-reason' into 'master' Proto/Scoru: use ADT for refutation game's invalid moves Closes #3392 See merge request tezos/tezos!5882 18 July 2022, 10:59:18 UTC
a2cc2fc Proto/Scoru: typo disection -> dissection 18 July 2022, 10:01:13 UTC
255d6b0 Proto/Scoru: use ADT for refutation game's invalid moves 18 July 2022, 10:01:13 UTC
b719bfa Merge branch 'functori@scoru@improvements' into 'master' Scoru: encoding improvements & refactoring in tests See merge request tezos/tezos!5859 18 July 2022, 10:00:30 UTC
d44ae50 Tezt/scoru: factorize code of scoru origination & bake 18 July 2022, 09:34:05 UTC
cdc1d67 Tezt/Scoru: add helper function for originating rollups 18 July 2022, 09:34:05 UTC
b1e16b2 Proto/Scoru: improve input_request_encoding in JSON 18 July 2022, 09:34:05 UTC
2285d8c Proto/Scoru: more conversions of (req X (option Y)) to (opt X Y) 18 July 2022, 09:34:05 UTC
b28a2d3 Merge branch 'sylvain@fix_comment' into 'master' fix comment about size for base58 prefix See merge request tezos/tezos!5869 18 July 2022, 09:33:22 UTC
53cc5f3 crypto: fix comment about size of prefix 18 July 2022, 09:06:22 UTC
3d35c91 Merge branch 'mehdi@long-tezt' into 'master' Tezt: cleanup long test registration See merge request tezos/tezos!5825 18 July 2022, 09:05:01 UTC
98dbf79 Tezt: upgrade long test Script_cache to Jakarta 18 July 2022, 08:07:13 UTC
c77ff37 Tezt: Alpha is hard-coded in Qcheck_rpc long tests 18 July 2022, 08:07:13 UTC
cdcba75 Tezt: generalize Prt_client long tezts 18 July 2022, 08:07:13 UTC
b7e1f33 Tezt: generalize Script_cache long tests 18 July 2022, 08:07:13 UTC
3aeec45 Merge branch 'igarnier-snoop-full-workload' into 'master' Snoop: store full workloads See merge request tezos/tezos!5496 18 July 2022, 08:06:19 UTC
cd3c934 snoop/display: bin data for full empirical plots 18 July 2022, 07:36:29 UTC
c6317af tezt: change default nsamples from 3000 to 500 18 July 2022, 07:36:29 UTC
804e826 tezt: remove determinizer option for snoop 18 July 2022, 07:36:29 UTC
7a0e4da lib_benchmark: factor some code around scikit solvers 18 July 2022, 07:36:28 UTC
448a4ad snoop/display: display raw timing histogram when dimension permits 18 July 2022, 07:36:28 UTC
e2b445a snoop/display: allow to plot full emp. data or specific quantiles 18 July 2022, 07:36:28 UTC
0438c22 lib_benchmark/plot: intercept EINTR while waitpid 18 July 2022, 07:36:28 UTC
84ea977 snoop/cmdline: expose options to plot raw workloads 18 July 2022, 07:36:28 UTC
62fa1bc snoop/display: allow to plot raw workloads 18 July 2022, 07:36:28 UTC
b2f9903 snoop: unplug 'cull outliers' command 18 July 2022, 07:36:28 UTC
3becccf snoop: save full measurement data instead of single statistics 18 July 2022, 07:36:28 UTC
5dab536 lib_benchmark: avoid allocating one array per workload 18 July 2022, 07:36:28 UTC
57b1e33 snoop: use Maths.vector/Maths.matrix instead of numpy wrapper 18 July 2022, 07:36:28 UTC
5be0753 lib-benchmark: add Maths module 18 July 2022, 07:36:28 UTC
713a9e3 Merge branch 'yrg@scoru@fix-missing-commit-for-empty-inboxes-trees' into 'master' Proto,SCORU: Fix missing commit for empty inboxes trees See merge request tezos/tezos!5889 16 July 2022, 12:01:36 UTC
3e499cb Proto,SCORU: Fix missing commit for empty inboxes trees To contribute to an inclusion proof, an Irmin tree must have been committed. The very first tree of messages on which an empty inbox is based was not committed. Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com> 16 July 2022, 11:30:28 UTC
8e1832d Merge branch 'andrea@dal-slot-framing-protocol' into 'master' DAL Slot framing protocol See merge request tezos/tezos!5758 16 July 2022, 00:59:19 UTC
37a38d7 Test/Lib_dal: Unit tests for slot frame encoding V0 15 July 2022, 22:57:48 UTC
0b5b4bc Proto/Lib_dal: slot frame encoding V0 15 July 2022, 22:57:48 UTC
7689370 Manifest: add library for dal-functions for Protocol Alpha 15 July 2022, 21:04:38 UTC
38c0133 Merge branch 'chunked-byte-vector-merklized' into 'master' Scoru_wasm: Add a Merklizer for [Chunked_byte_vector] See merge request tezos/tezos!5881 15 July 2022, 21:03:59 UTC
f7c4567 Scoru_wasm: Add a Merklizer for [Chunked_byte_vector] 15 July 2022, 20:30:49 UTC
3486155 Merge branch 'vch9@tezt-fix-convention-scoru-rpcs' into 'master' Tezt: respect convention for scoru rpcs See merge request tezos/tezos!5886 15 July 2022, 18:29:09 UTC
79c7b0d Tezt: respect convention for scoru rpcs 15 July 2022, 18:03:32 UTC
1b49890 Merge branch 'nic@fully-test-scripts-in-doc' into 'master' test doc scripts under change of any doc script See merge request tezos/tezos!5795 15 July 2022, 18:02:41 UTC
488f64e doc/CI: test doc scripts under change of any doc script 15 July 2022, 17:05:29 UTC
e077876 Merge branch 'edwin@skiplist-bs-optimization' into 'master' Proto/Skip_list: binary_search in best_skip, changes in test See merge request tezos/tezos!5688 15 July 2022, 17:04:07 UTC
5f84825 Proto/Skip_list: binary_search in best_skip, changes in test 15 July 2022, 16:34:41 UTC
1528da1 Merge branch 'fix-chunked-byte-vector-grow' into 'master' Lib_webassembly: Allocate chunks when growing a chunked byte vector See merge request tezos/tezos!5883 15 July 2022, 16:02:15 UTC
back to top