6d7a493 | Victor Allombert | 17 June 2020, 13:58:15 UTC | Tests/Python: add legacy store fixtures | 29 March 2021, 14:30:02 UTC |
4337fb6 | Victor Allombert | 23 April 2020, 08:06:12 UTC | Tests/Python: update snapshots tests | 29 March 2021, 14:30:02 UTC |
4dc1e32 | Victor Allombert | 25 May 2020, 08:47:06 UTC | Tests/Python: update reconstruct tests | 29 March 2021, 14:30:01 UTC |
a6952af | Victor Allombert | 17 June 2020, 13:58:05 UTC | Tests/Python: add snapshots utilities | 29 March 2021, 14:30:01 UTC |
647d121 | Victor Allombert | 21 July 2020, 10:34:58 UTC | Tests/Tezt: adapt tezt framework to the changes | 29 March 2021, 14:30:00 UTC |
92e8d6e | vbot | 10 November 2020, 15:55:00 UTC | Test: adapt sandbox test to the new history mode | 29 March 2021, 14:29:59 UTC |
a521e57 | vbot | 12 May 2020, 15:14:41 UTC | Flextesa: adapt history mode encoding | 29 March 2021, 14:29:59 UTC |
1ab225c | vbot | 10 February 2021, 14:03:26 UTC | Shell/Store: provide upgrade capabilities from legacy to new store | 29 March 2021, 14:29:58 UTC |
01ee4dc | vbot | 23 June 2020, 13:37:57 UTC | Shell: plug new store in and move legacy parts squash! Shell: plug new store in and move legacy parts | 29 March 2021, 14:29:58 UTC |
7303149 | vbot | 10 February 2021, 14:05:04 UTC | Store: introduce new store | 29 March 2021, 14:29:57 UTC |
f10c842 | vbot | 24 November 2020, 12:13:47 UTC | Context: refactor and prepare context for the new store | 29 March 2021, 12:34:06 UTC |
338899b | vbot | 23 June 2020, 12:14:42 UTC | Store: move lmdb store to a legacy lib | 29 March 2021, 12:34:06 UTC |
cb22986 | vbot | 23 June 2020, 11:50:33 UTC | Storage: split context and store into separate libs | 29 March 2021, 12:34:05 UTC |
94b2bb0 | vbot | 22 June 2020, 15:26:36 UTC | Shell: prepare history mode for new store | 29 March 2021, 12:34:05 UTC |
6420451 | vbot | 08 October 2020, 16:18:12 UTC | Bin_node, Shell: apply naming convention for error ids | 29 March 2021, 12:34:04 UTC |
0a2e7d3 | Victor Allombert | 22 March 2021, 14:25:14 UTC | Stdlib: add Lwt_utils_unix.is_directory | 29 March 2021, 12:34:04 UTC |
3dd6526 | vbot | 23 June 2020, 12:29:29 UTC | Stdlib: rework display progress | 29 March 2021, 12:34:04 UTC |
8a44171 | vbot | 14 May 2020, 17:42:59 UTC | Stdlib: modify {read,write}_bytes to use Lwt_unix.{pread,pwrite} | 29 March 2021, 12:34:03 UTC |
76f3b41 | vbot | 14 February 2020, 12:28:32 UTC | Stdlib: add Tzlist.find_map | 29 March 2021, 12:34:03 UTC |
9d24d69 | Victor Allombert | 22 January 2020, 17:14:24 UTC | Stdlib/Utils: add file manipulation utility functions | 29 March 2021, 12:34:02 UTC |
8677eb9 | Victor Allombert | 09 September 2020, 11:37:23 UTC | Bin_node: update versions documentation | 29 March 2021, 12:34:02 UTC |
7edd658 | Victor Allombert | 10 September 2020, 06:58:43 UTC | Base/block_locator: more precise documentation | 29 March 2021, 12:34:02 UTC |
d6ec6c0 | vbot | 08 June 2020, 13:13:32 UTC | Revert "Stdlib: remove unused Lwt_idle_waiter module" This reverts commit 8d83436ab116a4bfd3bd1d2a6a14a06a55cc248a. | 29 March 2021, 12:34:01 UTC |
e713231 | François Thiré | 29 March 2021, 07:42:52 UTC | lib_shell_services: Remove uppercases in log messages | 29 March 2021, 10:56:10 UTC |
a9e95b7 | Eugen Zalinescu | 10 February 2021, 16:53:15 UTC | Tests/Python: add test for the accuser | 29 March 2021, 07:52:04 UTC |
f4c839e | Eugen Zalinescu | 10 February 2021, 16:51:46 UTC | Tests/Python: add accuser daemon | 29 March 2021, 07:52:03 UTC |
743fc4d | Eugen Zalinescu | 10 February 2021, 16:32:37 UTC | Tests/Python: make endorsement_delay an integer | 29 March 2021, 07:52:03 UTC |
a91c130 | Julien Debon | 23 March 2021, 10:14:34 UTC | Switch to inelenegant regexp for Alpha detection | 27 March 2021, 10:36:00 UTC |
eee623d | Julien Debon | 22 March 2021, 16:52:10 UTC | Only log once if there are several non-alpha protocols | 27 March 2021, 10:36:00 UTC |
f799936 | Julien Debon | 22 March 2021, 10:27:15 UTC | Improve parsing error messages | 27 March 2021, 10:36:00 UTC |
d967ef8 | Julien Debon | 22 March 2021, 10:02:30 UTC | Fix intf doc about "here" | 27 March 2021, 10:36:00 UTC |
d36c1da | Julien Debon | 19 March 2021, 09:43:20 UTC | lib_mockup: Add changelog | 27 March 2021, 10:36:00 UTC |
0ecb850 | Julien Debon | 19 March 2021, 09:33:04 UTC | lib_mockup: Add warning message when using Alpha by default | 27 March 2021, 10:36:00 UTC |
4af49b1 | Julien Debon | 19 March 2021, 08:13:28 UTC | lib_mockup: Use Alpha protocol if none specified, instead of last registered Closes https://gitlab.com/tezos/tezos/-/issues/1161 | 27 March 2021, 10:36:00 UTC |
b8a57f7 | Julien Debon | 18 March 2021, 14:47:31 UTC | lib_mockup: Add tests to current get_registered_mockup behavior | 27 March 2021, 10:36:00 UTC |
96692ff | Julien Debon | 18 March 2021, 14:40:08 UTC | lib_mockup: Refactor to make Registration and Persistence more testable | 27 March 2021, 10:36:00 UTC |
c87e52a | Marcin Pastudzki | 24 March 2021, 08:12:15 UTC | P2p: Purge legacy logging. | 27 March 2021, 08:21:12 UTC |
1c92f25 | Marcin Pastudzki | 22 March 2021, 15:14:44 UTC | Signer: purge legacy logging. | 26 March 2021, 20:00:45 UTC |
4def37e | Julien Debon | 25 March 2021, 16:32:05 UTC | CI: Use dependencies qcheck-core and qcheck-alcotest | 26 March 2021, 13:25:19 UTC |
a79c3d3 | Julien Debon | 10 March 2021, 17:09:56 UTC | lib_test: Introduction of QCheck * Create lib_test for Tezos-agnostic test code, like QCheck helpers * Create some QCheck helper functions * Migrate lib_base/time tests from Crowbar to QCheck * Migrate gas properties to manual property tests to QCheck * Update the Test documentation (but keep the Crowbar section) | 26 March 2021, 13:25:19 UTC |
f42b73d | François Thiré | 25 March 2021, 09:04:26 UTC | CHANGES.md: Modify entry | 26 March 2021, 10:58:37 UTC |
e82d415 | François Thiré | 24 March 2021, 13:41:29 UTC | bin_node/config: add option to bypass the connection limit | 26 March 2021, 10:58:37 UTC |
17f2121 | Raphaël Proust | 26 March 2021, 07:27:24 UTC | scripts: only check installability of opam packages, don't solve whole opam constraint set | 26 March 2021, 07:27:24 UTC |
2c92fdb | Nic Volanschi | 25 March 2021, 15:28:04 UTC | doc: US eng | 25 March 2021, 15:28:04 UTC |
665aee4 | Nic Volanschi | 25 March 2021, 15:27:47 UTC | doc: US eng | 25 March 2021, 15:27:47 UTC |
88b22eb | Nic Volanschi | 25 March 2021, 15:27:30 UTC | doc: US english | 25 March 2021, 15:27:30 UTC |
32372dd | Nic Volanschi | 25 March 2021, 15:26:53 UTC | doc: capitalization | 25 March 2021, 15:26:53 UTC |
4a01fe6 | Nic Volanschi | 25 March 2021, 15:26:43 UTC | doc: capitalization | 25 March 2021, 15:26:43 UTC |
fc9738d | Nic Volanschi | 24 March 2021, 15:53:20 UTC | doc: manually apply some typo-fixing suggestions by Tezz | 25 March 2021, 13:34:11 UTC |
5e94483 | Nic Volanschi | 24 March 2021, 15:46:28 UTC | doc: typos | 25 March 2021, 13:34:11 UTC |
e45921e | Nic Volanschi | 24 March 2021, 15:46:20 UTC | doc: typos | 25 March 2021, 13:34:11 UTC |
be471b7 | Nic Volanschi | 24 March 2021, 15:45:24 UTC | doc: typos | 25 March 2021, 13:34:11 UTC |
b477da1 | Nic Volanschi | 24 March 2021, 15:44:47 UTC | doc: typos | 25 March 2021, 13:34:11 UTC |
47b2b45 | Nic Volanschi | 24 March 2021, 09:13:07 UTC | doc: rephrase | 25 March 2021, 13:34:11 UTC |
5a0a438 | Nic Volanschi | 24 March 2021, 09:12:39 UTC | doc: apply standard protocol naming | 25 March 2021, 13:34:11 UTC |
30e366b | Romain Bardou | 18 November 2020, 10:28:41 UTC | Doc: update proposal testing for new workflow | 25 March 2021, 13:34:11 UTC |
a1bdac6 | Romain Bardou | 18 November 2020, 10:18:24 UTC | Doc: proto-proposal: capitalize titles | 25 March 2021, 13:34:11 UTC |
bda67d7 | Roland C. Dowdeswell | 22 March 2021, 22:33:57 UTC | Eliminate error generating event p2p:conn:bytes_popped_from_queue.v0 | 24 March 2021, 19:37:08 UTC |
05fe6d6 | Richard Bonichon | 22 March 2021, 14:48:19 UTC | Doc: Add bugfix description | 24 March 2021, 17:18:47 UTC |
0529f6c | Richard Bonichon | 02 March 2021, 06:15:24 UTC | Protocol/Time_repr: document arithmetic functions | 24 March 2021, 17:18:47 UTC |
6b70978 | Richard Bonichon | 02 March 2021, 10:24:12 UTC | Protocol/Time_repr: tests to verify overflow check is sound | 24 March 2021, 17:18:47 UTC |
96b0a92 | Richard Bonichon | 01 March 2021, 14:59:32 UTC | Protocol/time_repr: check for potential overflow on addition Fix #1105 | 24 March 2021, 17:18:47 UTC |
2c5cbdd | Sventimir | 24 March 2021, 17:06:04 UTC | Docs: Update information on --network param to tezos-node | 24 March 2021, 17:06:04 UTC |
ff718f1 | Mathias Bourgoin | 23 March 2021, 22:20:24 UTC | Doc: fix link to pytest doc in documentation | 24 March 2021, 16:42:38 UTC |
2b4660a | Nic Volanschi | 24 March 2021, 09:11:58 UTC | doc: Typo train | 24 March 2021, 09:11:58 UTC |
02a45e5 | Lucas Randazzo | 22 March 2021, 19:06:59 UTC | Snoop: factor costlang functions | 23 March 2021, 18:35:14 UTC |
c929152 | Ilias Garnier | 23 February 2021, 12:58:49 UTC | Doc: keep snoop doc up to date | 23 March 2021, 18:35:14 UTC |
9c852a9 | Lucas Randazzo | 18 February 2021, 13:31:21 UTC | Snoop/bin: give proper names to dot graph nodes | 23 March 2021, 18:35:14 UTC |
c7f797d | Ilias Garnier | 09 February 2021, 10:49:08 UTC | Snoop/bin: handle disconnected dependency graphs | 23 March 2021, 18:35:14 UTC |
a2ce991 | Ilias Garnier | 04 February 2021, 15:46:11 UTC | Snoop/bin: port to new codegen, add cmd for codegen of all models | 23 March 2021, 18:35:14 UTC |
427ffb1 | Ilias Garnier | 04 February 2021, 15:45:24 UTC | Snoop/benchmark: port codegen to ocaml-migrate-parsetree | 23 March 2021, 18:35:14 UTC |
8b0129f | Ilias Garnier | 29 January 2021, 12:45:14 UTC | Snoop/bin: better errors in codegen command | 23 March 2021, 18:35:14 UTC |
92b266c | Ilias Garnier | 14 January 2021, 17:30:47 UTC | Snoop/bin: export dependency graph with --dot-file for infer command | 23 March 2021, 18:35:14 UTC |
d542db5 | Ilias Garnier | 14 January 2021, 17:25:56 UTC | Snoop/bin: more verbose processing during constraint solving | 23 March 2021, 18:35:14 UTC |
2a9b71b | Ilias Garnier | 14 January 2021, 16:53:46 UTC | Snoop/bin: normalize models for precise free variable accounting | 23 March 2021, 18:35:14 UTC |
996d2ea | Ilias Garnier | 12 January 2021, 08:53:47 UTC | Snoop/bin: add commands to list benchmarks matching tags exactly | 23 March 2021, 18:35:14 UTC |
6c4aa12 | Ilias Garnier | 29 January 2021, 12:58:21 UTC | Snoop/benchmark: constant prettification | 23 March 2021, 18:35:14 UTC |
a81e44c | Ilias Garnier | 29 January 2021, 12:46:13 UTC | Snoop/benchmark: fix handling of errors in json loading | 23 March 2021, 18:35:14 UTC |
107947e | Ilias Garnier | 27 January 2021, 09:02:12 UTC | Snoop/benchmark: better handling of errors in Codegen.load_solution | 23 March 2021, 18:35:14 UTC |
3e5acc1 | Ilias Garnier | 14 January 2021, 16:07:36 UTC | Snoop/benchmark: small fix in model pretty-printing | 23 March 2021, 18:35:14 UTC |
6b8eba9 | Ilias Garnier | 14 January 2021, 16:07:03 UTC | Snoop/benchmark: add transform for constant folding | 23 March 2021, 18:35:14 UTC |
7e6f53f | Ilias Garnier | 14 January 2021, 16:05:49 UTC | Snoop/benchmark: fix interpretation of equality | 23 March 2021, 18:35:14 UTC |
988ae46 | Guillaume Claret | 03 February 2021, 08:26:55 UTC | Protocol/coq-of-ocaml: add axiom annotations for the interpreter | 23 March 2021, 17:12:11 UTC |
02909fd | Guillaume Claret | 03 February 2021, 08:14:18 UTC | Protocol/coq-of-ocaml: add axiom annotations on storage_description.ml | 23 March 2021, 17:12:11 UTC |
f999895 | Guillaume Claret | 03 February 2021, 08:09:55 UTC | Protocol/coq-of-ocaml: add axiom annotations on operation_repr.ml | 23 March 2021, 17:12:11 UTC |
2b0ac3d | Guillaume Claret | 03 February 2021, 08:04:39 UTC | Protocol/coq-of-ocaml: add axiom annotations on michelson_v1_gas.ml | 23 March 2021, 17:12:11 UTC |
5e81c09 | Guillaume Claret | 03 February 2021, 08:00:21 UTC | Protocol/coq-of-ocaml: add axiom annotations on individual files | 23 March 2021, 17:12:11 UTC |
29418d9 | Guillaume Claret | 02 February 2021, 16:29:38 UTC | Protocol/coq-of-ocaml: add axiom attributes on apply_results.ml | 23 March 2021, 17:12:11 UTC |
af4dead | Guillaume Claret | 02 February 2021, 16:28:29 UTC | Protocol/coq-of-ocaml: add link to the documentation of the attributes | 23 March 2021, 17:12:11 UTC |
62cd987 | Arvid Jakobsson | 22 March 2021, 16:37:18 UTC | Proto: unit test for voting_period_pp | 23 March 2021, 17:00:28 UTC |
1d97a40 | Philippe Wang | 17 March 2021, 00:27:17 UTC | Proto: fix Voting_period.pp Commas and breaking spaces are misplaced in a couple of pretty-print functions before: ``` index: 21 ,kind:proposal start_position: 86016 ``` after: ``` index: 21, kind:proposal, start_position: 86016 ``` This patch is basically generated from ``` find src/proto_alpha -name '*.ml' -exec sed -i -e 's/@ ,/,@ /g' -e 's/kind:%a@,/kind:%a,@ /g' -e 's/%ld@, /%ld,@ /g' -e 's/,@ /,@ /g' {} \; ``` which you might want to run on other `src/proto_*` ìf you want the fix to be applied to them as well. | 23 March 2021, 17:00:28 UTC |
5d319f6 | Raphaël Proust | 23 March 2021, 14:35:39 UTC | CI: make coq-of-ocaml's CI a tad leaner | 23 March 2021, 15:53:15 UTC |
f9dd957 | Guillaume Claret | 22 March 2021, 15:43:26 UTC | Proto: only build the protocol itself | 23 March 2021, 15:53:15 UTC |
c8a30ed | Guillaume Claret | 19 March 2021, 13:51:28 UTC | Proto: ignore storage.ml for coq-of-ocaml, due to an assert failure | 23 March 2021, 15:53:15 UTC |
ff30df4 | Guillaume Claret | 19 March 2021, 13:49:33 UTC | Proto: ignore most current error messages for coq-of-ocaml | 23 March 2021, 15:53:15 UTC |
54566d5 | Guillaume Claret | 19 March 2021, 13:42:10 UTC | Proto: ignore the translation of .mli files with coq-of-ocaml | 23 March 2021, 15:53:15 UTC |
45257fb | Guillaume Claret | 19 March 2021, 13:41:22 UTC | Proto: replace the deprecated keyword coq_axiom by coq_axiom_with_reason | 23 March 2021, 15:53:15 UTC |
0299ff0 | Guillaume Claret | 19 March 2021, 13:34:12 UTC | Proto: distinguish the various storage signatures for coq-of-ocaml | 23 March 2021, 15:53:15 UTC |
6e3f73f | Guillaume Claret | 19 March 2021, 10:54:06 UTC | Proto: fix the configuration file for coq-of-ocaml.2.4.1 | 23 March 2021, 15:53:15 UTC |
5d28246 | Vivien | 23 March 2021, 12:20:06 UTC | p2p/test: disable flappy test banned_peers.test_gc | 23 March 2021, 12:20:06 UTC |