Skip to main content

Browse the archive

https://gitlab.com/tezos/tezos
05 April 2024, 14:00:10 UTC
sort by:
Revision Author Date Message Commit Date
410042d Hans Hoglund 20 July 2022, 09:49:18 UTC fmt 20 July 2022, 09:49:18 UTC
b6a373c Hans Hoglund 20 July 2022, 09:32:03 UTC clean up a bit 20 July 2022, 09:32:03 UTC
1f8ceb6 Hans Hoglund 20 July 2022, 01:16:15 UTC fix Host functions 20 July 2022, 01:16:15 UTC
2d55259 Hans Hoglund 20 July 2022, 01:09:18 UTC compiles, some tests broken 20 July 2022, 01:09:18 UTC
d36aeb2 Hans Hoglund 20 July 2022, 00:54:53 UTC checkpoint 20 July 2022, 00:54:53 UTC
89cd0b4 Hans Hoglund 20 July 2022, 00:26:05 UTC refactor2 20 July 2022, 00:26:05 UTC
cef977c Hans Hoglund 20 July 2022, 00:24:19 UTC refactor 20 July 2022, 00:24:19 UTC
aae7be8 Hans Hoglund 19 July 2022, 23:42:25 UTC fmt 19 July 2022, 23:42:25 UTC
0c7a943 Hans Hoglund 19 July 2022, 23:41:14 UTC docs 19 July 2022, 23:41:14 UTC
fa966d9 Hans Hoglund 19 July 2022, 22:54:52 UTC Eval: inline admin_instr again 19 July 2022, 22:54:52 UTC
6d7c63f Hans Hoglund 19 July 2022, 22:41:57 UTC docs 19 July 2022, 22:41:57 UTC
832ca1a Hans Hoglund 19 July 2022, 22:34:44 UTC docs 19 July 2022, 22:34:44 UTC
9f16157 Hans Hoglund 19 July 2022, 21:10:47 UTC flip admin_instr and admin_instr' 19 July 2022, 21:10:47 UTC
d034d96 Hans Hoglund 19 July 2022, 21:06:20 UTC get rid of code in Frame 19 July 2022, 21:06:20 UTC
a5e3195 Hans Hoglund 19 July 2022, 20:59:00 UTC get rid of code in Label 19 July 2022, 20:59:00 UTC
f777488 Hans Hoglund 19 July 2022, 20:51:47 UTC Eval: get rid of code type 19 July 2022, 20:51:47 UTC
8a4ad47 Hans Hoglund 19 July 2022, 20:47:57 UTC Eval: refactor label 19 July 2022, 20:47:57 UTC
731fabc Hans Hoglund 19 July 2022, 20:41:33 UTC Eval: refactor Frame 19 July 2022, 20:41:33 UTC
56546af Hans Hoglund 19 July 2022, 20:30:06 UTC Eval: rename (frame -> frame_data) 19 July 2022, 20:30:06 UTC
7e55bad Hans Hoglund 19 July 2022, 20:10:27 UTC docs 19 July 2022, 20:10:27 UTC
389eadb Hans Hoglund 19 July 2022, 19:58:25 UTC Eval: label: use option, not list 19 July 2022, 19:58:25 UTC
83afa25 Hans Hoglund 19 July 2022, 19:46:24 UTC docs 19 July 2022, 19:46:24 UTC
1f5319b Hans Hoglund 19 July 2022, 19:42:14 UTC docs 19 July 2022, 19:42:14 UTC
5254605 Hans Hoglund 19 July 2022, 19:36:36 UTC docs 19 July 2022, 19:36:36 UTC
5054339 Hans Hoglund 19 July 2022, 19:35:27 UTC docs 19 July 2022, 19:35:27 UTC
9a5fe60 Hans Hoglund 19 July 2022, 19:23:05 UTC docs 19 July 2022, 19:23:05 UTC
49189fd Hans Hoglund 19 July 2022, 19:13:06 UTC docs 19 July 2022, 19:13:06 UTC
581fb36 Hans Hoglund 19 July 2022, 19:08:13 UTC docs 19 July 2022, 19:08:13 UTC
34112e3 Hans Hoglund 19 July 2022, 18:48:53 UTC post-merge? 5887, thomas L: no more thunk 19 July 2022, 18:50:38 UTC
420bf97 Hans Hoglund 19 July 2022, 18:39:52 UTC Merge remote-tracking branch 'remotes/origin/merge-requests/5887/head' into hans@milestone-83-wip-2 19 July 2022, 18:39:52 UTC
2e6d173 Hans Hoglund 19 July 2022, 18:35:38 UTC Merge 5872 (Joel: WASM encoders/decoders) Merge remote-tracking branch 'remotes/origin/merge-requests/5872/head' into hans@milestone-83-wip-2 19 July 2022, 18:38:46 UTC
1a0e128 Joel Bjornson 19 July 2022, 15:47:33 UTC Lib_scoru_wasm/Test: test for value-option 19 July 2022, 15:49:52 UTC
ae56681 Joel Bjornson 19 July 2022, 15:46:59 UTC Lib_scoru_wasm: introduce value-option 19 July 2022, 15:49:52 UTC
e0aadf4 Joel Bjornson 19 July 2022, 14:28:08 UTC Fixup: make flatten explicit 19 July 2022, 15:32:36 UTC
8fb6536 Joel Bjornson 18 July 2022, 17:30:30 UTC Lib_scoru_wasm: add flatten argument 19 July 2022, 14:28:49 UTC
1269500 Joel Bjornson 17 July 2022, 18:50:59 UTC Lib_scoru_wasm/Test: more tests 19 July 2022, 14:28:49 UTC
abe845f Joel Bjornson 17 July 2022, 17:41:08 UTC Lib_scoru_wasm: option encoding 19 July 2022, 14:28:49 UTC
38cc642 Joel Bjornson 14 July 2022, 17:44:00 UTC Lib_scoru_wasm: support case-lwt 19 July 2022, 14:28:49 UTC
ea002e1 Joel Bjornson 14 July 2022, 16:15:25 UTC Lib_scoru_wasm: fix docs for tree-encoding-decoding 19 July 2022, 14:28:49 UTC
d2c306f Joel Bjornson 14 July 2022, 10:17:21 UTC Lib_scoru_wasm: distinct tuple elem keys 19 July 2022, 14:28:49 UTC
14e2bdb Joel Bjornson 14 July 2022, 10:17:21 UTC Lib_scoru_wasm: more tup combinators 19 July 2022, 14:28:49 UTC
8f13bd6 Thomas Letan 18 July 2022, 15:42:49 UTC fixup! Scoru_wasm: Drop [Thunk], use chunked byte vector in [Gather_floppies] 19 July 2022, 10:25:36 UTC
b7f12e2 Thomas Letan 13 July 2022, 16:18:17 UTC Scoru_wasm: Drop [Thunk], use chunked byte vector in [Gather_floppies] In order to reduce the overall complexity of the WASM PVM, we drop [Thunk] in favor of the now usable [Tree_encoding_decoding] framework. We update [Gather_floppies] accordingly. The resulting refactoring gives a more functional flavor to the module. We also use this opportunity to reuse the [Chunked_byte_vector] module from [Lib_webassembly] to store the kernel. This new implementation is likely not to produce larger proofs. This is because the steps of the [Gather_floppies] were mostly using the same fields. 19 July 2022, 10:25:30 UTC
2631195 Marge Bot 19 July 2022, 10:09:43 UTC 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
963a50b Joel Bjornson 19 July 2022, 09:35:13 UTC Lib_scoru_wasm: use wasm encodings 19 July 2022, 09:39:11 UTC
886dd0a Joel Bjornson 19 July 2022, 09:33:27 UTC Lib_scoru_wasm: wasm encodings 19 July 2022, 09:38:49 UTC
d9c5074 Joel Bjornson 19 July 2022, 09:34:26 UTC Lib_webassembly: expose content from table 19 July 2022, 09:38:49 UTC
42f86b2 Joel Bjornson 19 July 2022, 09:16:23 UTC Lib_scoru_wasm: tuple 9 19 July 2022, 09:25:22 UTC
db530ca Nic Volanschi 08 July 2022, 09:54:16 UTC doc: specialize tezt/Readme for Tezt-Tezos 19 July 2022, 09:07:09 UTC
2ce7275 Nic Volanschi 08 July 2022, 08:19:03 UTC doc: add Readme in tezt/lib/ 19 July 2022, 09:07:09 UTC
522ecdc Raphaël Proust 07 July 2022, 08:40:39 UTC Tezt: add entrypoint compilation unit (new file tezt/lib/tezt.ml) 19 July 2022, 09:07:09 UTC
ae2a35c Marge Bot 19 July 2022, 09:05:52 UTC 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
e8d5a5a Joel Bjornson 18 July 2022, 08:23:12 UTC Lib_scoru_wasm: self-ref combinator 19 July 2022, 08:59:06 UTC
5ee0af0 Joel Bjornson 18 July 2022, 16:40:13 UTC Lib_scoru_wasm: delayed 19 July 2022, 08:56:34 UTC
3ccf6b5 iguerNL@Functori 14 July 2022, 11:29:16 UTC Proto/Scoru: add details when attempting to cement a too recent commit 19 July 2022, 08:40:43 UTC
1c73c0a Marge Bot 19 July 2022, 08:40:01 UTC 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
ed39981 Joel Bjornson 17 July 2022, 16:52:23 UTC Lib_webassembly: expose chunks from memory 19 July 2022, 08:29:48 UTC
735514f Joel Bjornson 18 July 2022, 17:30:30 UTC Lib_scoru_wasm: add flatten argument 19 July 2022, 08:28:41 UTC
468f7a5 Joel Bjornson 17 July 2022, 18:50:59 UTC Lib_scoru_wasm/Test: more tests 19 July 2022, 08:28:41 UTC
80731b5 Joel Bjornson 17 July 2022, 17:41:08 UTC Lib_scoru_wasm: option encoding 19 July 2022, 08:28:41 UTC
7ebceb9 Joel Bjornson 14 July 2022, 17:44:00 UTC Lib_scoru_wasm: support case-lwt 19 July 2022, 08:28:41 UTC
a7f937f Joel Bjornson 14 July 2022, 16:15:25 UTC Lib_scoru_wasm: fix docs for tree-encoding-decoding 19 July 2022, 08:28:41 UTC
fc32d4f Joel Bjornson 14 July 2022, 10:17:21 UTC Lib_scoru_wasm: distinct tuple elem keys 19 July 2022, 08:28:41 UTC
145be28 Joel Bjornson 14 July 2022, 10:17:21 UTC Lib_scoru_wasm: more tup combinators 19 July 2022, 08:28:41 UTC
40ffe70 Arvid Jakobsson 15 July 2022, 10:52:32 UTC 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 Arvid Jakobsson 15 July 2022, 13:33:40 UTC Tests/Python: testnet_dictator of test_mockup.py should not be default 19 July 2022, 08:12:09 UTC
36cff37 Marge Bot 18 July 2022, 17:02:56 UTC 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 Emma Turner 11 July 2022, 16:04:05 UTC Scoru,wasm: test gather floppies proof generation 18 July 2022, 16:33:18 UTC
9f8c1c2 Marge Bot 18 July 2022, 15:07:46 UTC 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 Benjamin Canou 18 July 2022, 14:12:26 UTC Wasm: use `Lazy_vector.append` in parsers 18 July 2022, 14:41:02 UTC
4499f34 Benjamin Canou 18 July 2022, 14:11:53 UTC Wasm: add `Lazy_vector.append` 18 July 2022, 14:41:02 UTC
1f55152 Benjamin Canou 18 July 2022, 13:12:55 UTC Wasm: add `Ast.block_table` type alias 18 July 2022, 14:41:02 UTC
d08ee74 Benjamin Canou 30 June 2022, 12:28:07 UTC Wasm: stop building `instr list`s in parser 18 July 2022, 14:41:01 UTC
ac6cd0c Benjamin Canou 30 June 2022, 12:28:07 UTC Wasm: basic blocks now stored as lazy vectors 18 July 2022, 14:41:01 UTC
3cd2218 Benjamin Canou 16 June 2022, 14:24:58 UTC Wasm: eval uses instruction pointers 18 July 2022, 14:41:01 UTC
8b09468 Benjamin Canou 16 June 2022, 12:18:05 UTC Wasm: flatten instruction recursion using a per module table of basic blocks 18 July 2022, 14:41:01 UTC
b781eb6 Marge Bot 18 July 2022, 14:13:20 UTC 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 Mehdi Bouaziz 11 July 2022, 16:36:04 UTC Tezt: J is now the smallest protocol 18 July 2022, 13:48:05 UTC
cf78e7d Mehdi Bouaziz 08 July 2022, 17:40:51 UTC Tezt: remove regression outputs for Ithaca 18 July 2022, 13:48:05 UTC
8b32dd3 Mehdi Bouaziz 08 July 2022, 15:18:52 UTC 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 Albin Coquereau 08 July 2022, 15:18:10 UTC Tezt/Run_script: rewrite test registration 18 July 2022, 13:48:05 UTC
99df1df Mehdi Bouaziz 08 July 2022, 14:10:45 UTC Tezt: more simplifications 18 July 2022, 13:48:05 UTC
c26094d Mehdi Bouaziz 08 July 2022, 14:03:16 UTC Tezt: simplify supports 18 July 2022, 13:48:04 UTC
b770082 Mehdi Bouaziz 08 July 2022, 10:07:55 UTC Tezt: remove Ithaca 18 July 2022, 13:48:04 UTC
231b556 Mehdi Bouaziz 08 July 2022, 17:40:25 UTC Tezt: cannot stitch from Jakarta to Alpha 18 July 2022, 13:48:04 UTC
66210b4 Mehdi Bouaziz 08 July 2022, 13:59:37 UTC Tezt/Manager_operations: block_over_ops_below should work for all protocols 18 July 2022, 13:48:04 UTC
b1f4bad Mehdi Bouaziz 08 July 2022, 13:56:50 UTC 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 Mehdi Bouaziz 08 July 2022, 13:55:27 UTC Tezt/Prevalidator: remove useless match 18 July 2022, 13:48:04 UTC
eb77102 Mehdi Bouaziz 08 July 2022, 13:54:46 UTC Tezt/Prevalidator: fix typo 18 July 2022, 13:48:04 UTC
e66341b Mehdi Bouaziz 08 July 2022, 13:53:42 UTC Tezt: test_simple_transfers_successive_wrong_counters should work for all protocols 18 July 2022, 13:48:04 UTC
ae845f9 Mehdi Bouaziz 08 July 2022, 13:52:28 UTC Tezt: test_deserialization_gas_accounting should work for all protocols 18 July 2022, 13:48:04 UTC
3bb7b43 Mehdi Bouaziz 08 July 2022, 13:48:54 UTC Tezt: remove baking_operation_exception_ithaca 18 July 2022, 13:48:04 UTC
cea83f6 Marge Bot 18 July 2022, 13:47:22 UTC 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 Sylvain Ribstein 07 July 2022, 07:49:50 UTC client/op_result: improve pp of toru/scoru op 18 July 2022, 12:37:41 UTC
4092154 Marge Bot 18 July 2022, 11:55:22 UTC 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 Pierrick Couderc 16 July 2022, 13:58:21 UTC 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 Marge Bot 18 July 2022, 11:27:32 UTC 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 Romain Bardou 18 July 2022, 07:42:23 UTC Doc: fix small typos in docs/CHANGES.rst 18 July 2022, 11:00:35 UTC
eb55355 Marge Bot 18 July 2022, 10:59:18 UTC 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 iguerNL@Functori 18 July 2022, 07:48:12 UTC Proto/Scoru: typo disection -> dissection 18 July 2022, 10:01:13 UTC
back to top