1481ef4 | Raphaël Cauderlier | 19 March 2020, 15:05:38 UTC | Tests/Python: test failed attempt to push a literal of type never | 19 March 2020, 15:39:14 UTC |
ce1ba69 | Raphaël Cauderlier | 19 March 2020, 14:38:45 UTC | Client/Michelson: reporter for the new `Invalid_never_expr` error | 19 March 2020, 15:39:14 UTC |
385f38a | Raphaël Cauderlier | 09 March 2020, 11:43:45 UTC | Tests/Michelson: typechecking tests for comparability of type never | 19 March 2020, 15:39:14 UTC |
5322e85 | Raphaël Cauderlier | 09 March 2020, 11:28:52 UTC | Doc/Michelson: type never is comparable | 19 March 2020, 15:39:14 UTC |
66561c4 | Raphaël Cauderlier | 09 March 2020, 11:23:57 UTC | Proto/Michelson: comparability of type never | 19 March 2020, 15:39:14 UTC |
3fd8123 | Raphaël Cauderlier | 29 January 2020, 23:48:10 UTC | Doc/Michelson: document the NEVER instruction | 19 March 2020, 15:39:14 UTC |
3974552 | Raphaël Cauderlier | 29 January 2020, 23:41:03 UTC | Tests/Michelson: add typechecking tests for the NEVER instruction | 19 March 2020, 15:39:14 UTC |
0c3c3b8 | Raphaël Cauderlier | 29 January 2020, 23:39:18 UTC | Proto/Michelson: add the NEVER instruction | 19 March 2020, 15:39:14 UTC |
b2aed21 | Raphaël Cauderlier | 29 January 2020, 23:47:50 UTC | Doc/Michelson: document type never | 19 March 2020, 15:39:14 UTC |
72b1b71 | Raphaël Cauderlier | 29 January 2020, 23:19:37 UTC | Tests/Michelson: test typechecking of a contract using type never | 19 March 2020, 15:39:14 UTC |
391d006 | Raphaël Cauderlier | 29 January 2020, 19:57:33 UTC | Proto/Michelson: add an empty type named "never" | 19 March 2020, 15:39:14 UTC |
abe666c | Mehdi Bouaziz | 17 March 2020, 16:55:47 UTC | Tests: update broken regtests | 18 March 2020, 10:43:36 UTC |
7dba3ad | Mehdi Bouaziz | 12 March 2020, 17:09:51 UTC | Tests: update regtest with stderr output | 18 March 2020, 10:43:36 UTC |
75e9a5d | Mehdi Bouaziz | 12 March 2020, 15:30:29 UTC | Tests: allow regression tests to capture stderr on failure | 18 March 2020, 10:43:36 UTC |
6007a9d | Raphaël Cauderlier | 04 February 2020, 21:32:17 UTC | Proto/Michelson: simplify the interpreter This removes the `stack` GADT in script_interpreter; the type `'a stack` is replaced by `'a` everywhere. This does not change the code's semantics, just simplify it. | 18 March 2020, 09:29:45 UTC |
b5956fa | Raphaël Cauderlier | 25 February 2020, 21:36:30 UTC | Doc/Michelson: document SELF_ADDRESS | 17 March 2020, 13:40:15 UTC |
36197f1 | Raphaël Cauderlier | 25 February 2020, 21:28:45 UTC | Tests/Python: test the new SELF_ADDRESS instruction | 17 March 2020, 13:40:15 UTC |
9e2463e | Raphaël Cauderlier | 25 February 2020, 21:21:50 UTC | Proto/Michelson: add the SELF_ADDRESS instruction `SELF_ADDRESS` is equivalent to `SELF; ADDRESS` but it is also allowed in lambdas. | 17 March 2020, 13:40:14 UTC |
5dd0bba | Mehdi Bouaziz | 17 March 2020, 09:58:07 UTC | Tests: remove dead regression test outputs During the migration, nothing removes the old .out files, and nothing checks that all .out files correspond to existing tests. We talked about it with @arvidnl but We're still not sure yet of the best way to automate it. | 17 March 2020, 09:58:09 UTC |
e80af00 | Tomáš Zemanovič | 12 March 2020, 20:42:32 UTC | CI: Try to get around "No space left on device" failing CI test: https://gitlab.com/cryptiumlabs/tezos/-/jobs/469953009 similar issue: https://gitlab.com/gitlab-com/support-forum/-/issues/1025#note_20715380 | 12 March 2020, 20:42:32 UTC |
bdc44f6 | Tomáš Zemanovič | 12 March 2020, 18:40:58 UTC | Tests/Python: update regression logs with pytest-regtest upgrade | 12 March 2020, 18:40:58 UTC |
5de0fa3 | Raphaël Cauderlier | 04 March 2020, 09:39:22 UTC | Tests/Python: add a test for the LEVEL instruction | 12 March 2020, 18:34:35 UTC |
810623e | Sylvain Ribstein | 05 February 2020, 09:51:41 UTC | Protocol: alpha use environment V1 | 12 March 2020, 18:34:35 UTC |
a359166 | Sylvain Ribstein | 18 February 2020, 10:58:38 UTC | Python/test: injection of protocol with env V1 Change injected protocol by the test to environment V1 verify that the required environment of the injected protocol is V1 | 12 March 2020, 18:34:34 UTC |
e20b69d | Sylvain Ribstein | 02 March 2020, 17:11:41 UTC | Shell/env: rename V2 -> V1 to ease encoding | 12 March 2020, 18:34:34 UTC |
5c35ae8 | Sylvain Ribstein | 02 March 2020, 15:54:09 UTC | Shell/env: rename V1 -> V0 to ease encoding | 12 March 2020, 18:34:34 UTC |
805a476 | Sylvain Ribstein | 21 February 2020, 07:14:53 UTC | Shell: environment V2 The new signature for environment V2 is the same as V1. This new environment is to be used as a base for any environment modification. | 12 March 2020, 18:34:33 UTC |
a3238e5 | Mehdi Bouaziz | 27 February 2020, 19:41:54 UTC | Doc: document LEVEL | 12 March 2020, 18:34:33 UTC |
068b2a7 | Mehdi Bouaziz | 24 February 2020, 08:49:19 UTC | Tests/python: add tests for LEVEL | 12 March 2020, 18:34:32 UTC |
c2e367b | Mehdi Bouaziz | 28 February 2020, 17:24:50 UTC | Tests: improve debugging of assert_storage_contains To be perfect, we'd need to print the types too because that's the issue I got | 12 March 2020, 18:34:32 UTC |
d42df90 | Charles DEHLINGER | 04 September 2019, 08:43:26 UTC | Proto/Michelson: instruction LEVEL Put the level of the current block on the top of the stack LEVEL :: 'S -> nat : 'S Co-Authored By: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com> Co-Authored By: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> | 12 March 2020, 18:34:32 UTC |
f80ce86 | Mehdi Bouaziz | 28 February 2020, 16:52:45 UTC | Script_int_repr: add of_int32 | 12 March 2020, 18:34:31 UTC |
a8486f0 | Mehdi Bouaziz | 28 February 2020, 16:53:14 UTC | Script_int_repr: fix comments of of_int(64) | 12 March 2020, 18:34:31 UTC |
0aa011e | Mehdi Bouaziz | 02 March 2020, 14:28:01 UTC | Regtest scrubbing: scrub constants first Otherwise [BLOCK_HASH] is substituted before [CONTEXT] | 12 March 2020, 18:34:31 UTC |
bf8e32a | Mehdi Bouaziz | 28 February 2020, 16:36:03 UTC | Doc: move UNIT to section on type unit | 12 March 2020, 18:34:30 UTC |
3dc9260 | Mehdi Bouaziz | 27 February 2020, 18:50:18 UTC | Doc: add documentation on comparisons of unit, options, unions | 12 March 2020, 18:34:30 UTC |
85246ce | Mehdi Bouaziz | 27 February 2020, 18:45:11 UTC | Doc: add missing documentation on boolean comparison | 12 March 2020, 18:34:29 UTC |
3029350 | Mehdi Bouaziz | 27 February 2020, 18:40:19 UTC | Tests: add tests for comparable unit, options, unions | 12 March 2020, 18:34:29 UTC |
d88e48a | Mehdi Bouaziz | 02 October 2019, 17:14:57 UTC | Add Unit, Union, and Option as comparable types | 12 March 2020, 18:34:28 UTC |
37074b6 | Mehdi Bouaziz | 27 February 2020, 17:03:23 UTC | Tests: update error message for big_dip.tz | 12 March 2020, 18:34:28 UTC |
5030c6d | Mehdi Bouaziz | 27 February 2020, 14:55:36 UTC | Proto/Michelson: fix error message for DIP with wrong constant | 12 March 2020, 18:34:27 UTC |
a82c463 | Mehdi Bouaziz | 27 February 2020, 17:03:23 UTC | Tests: update error message for big_drop.tz | 12 March 2020, 18:34:27 UTC |
35495c9 | Mehdi Bouaziz | 27 February 2020, 17:01:54 UTC | Proto/Michelson: fix registration of error Invalid_syntactic_constant | 12 March 2020, 18:34:27 UTC |
18405d6 | Guillaume Claret | 19 February 2020, 13:14:31 UTC | Remove useless recursion | 12 March 2020, 18:34:27 UTC |
bfb6cd0 | Guillaume Claret | 21 January 2020, 18:20:40 UTC | Rewrite some when clauses for Coq | 12 March 2020, 18:34:27 UTC |
0386251 | Guillaume Claret | 17 January 2020, 18:11:41 UTC | Proto: remove unused exported vals | 12 March 2020, 18:34:27 UTC |
a89d774 | Guillaume Claret | 15 January 2020, 17:29:22 UTC | Remove mutual dependency between numeric types | 12 March 2020, 18:34:26 UTC |
a01c31f | Mehdi Bouaziz | 27 February 2020, 17:52:29 UTC | Proto/Michelson: remove dead code in parse_instr | 12 March 2020, 18:34:26 UTC |
473b122 | Mehdi Bouaziz | 02 October 2019, 13:21:17 UTC | Express (comparable_)ty_eq in terms of merge_(comparable_)ty | 12 March 2020, 18:34:26 UTC |
0f3ba04 | Mehdi Bouaziz | 17 February 2020, 13:52:13 UTC | Tests_python: update regression tests outputs | 12 March 2020, 18:34:26 UTC |
06d2801 | Mehdi Bouaziz | 02 October 2019, 12:58:36 UTC | Include ty_eq in merge_types | 12 March 2020, 18:34:25 UTC |
bd343c9 | Tomáš Zemanovič | 24 January 2020, 10:47:07 UTC | Test/Python: update regression tests gas costs | 12 March 2020, 18:34:25 UTC |
b65c536 | Tomáš Zemanovič | 06 September 2019, 08:58:42 UTC | Proto/Michelson: Remove gas cost of 'map_to_list' and 'set_to_list' conversions | 12 March 2020, 18:34:25 UTC |
2a01323 | Tomáš Zemanovič | 06 September 2019, 08:56:53 UTC | Proto/Michelson: Use map fold for Big map updates | 12 March 2020, 18:34:25 UTC |
ddc1cde | mariari | 15 August 2019, 14:21:28 UTC | Proto/Michelson: Fold over Map with Map_map and Map_iter Previously, Maps were being converted to lists | 12 March 2020, 18:34:25 UTC |
a3a05c7 | mariari | 15 August 2019, 13:42:30 UTC | Proto/Michelson: Fold on Set using a folding break technique Previously, Sets were being converted to lists | 12 March 2020, 18:34:25 UTC |
5860f31 | Mehdi Bouaziz | 27 February 2020, 10:41:47 UTC | Proto/Michelson: Simplify parse_uint30 | 12 March 2020, 18:34:24 UTC |
ffbd822 | Mehdi Bouaziz | 27 February 2020, 10:18:41 UTC | Update test output for DIP/DROP over the limit | 12 March 2020, 18:34:24 UTC |
30fe671 | Pierre Boutillier | 10 December 2019, 22:00:04 UTC | Protocol/Michelson: avoid overflowing [Int32.to_int Int32.max_int] | 12 March 2020, 18:34:24 UTC |
72ea7cd | Mehdi Bouaziz | 27 February 2020, 10:18:41 UTC | Add test for DIP/DROP with int over the limit | 12 March 2020, 18:34:24 UTC |
82369b2 | Mehdi Bouaziz | 26 February 2020, 09:57:08 UTC | Doc: generalize comparable pairs | 12 March 2020, 18:34:24 UTC |
e40012b | Mehdi Bouaziz | 27 September 2019, 15:06:15 UTC | Tests_python: update tests | 12 March 2020, 18:34:23 UTC |
76355a2 | Mehdi Bouaziz | 27 September 2019, 15:06:15 UTC | Comparable types: allow non-comb pairs | 12 March 2020, 18:34:23 UTC |
412e160 | Mehdi Bouaziz | 14 February 2020, 16:07:17 UTC | Tests_python: update non-comparable-set-update test error message | 12 March 2020, 18:34:23 UTC |
27a211d | Mehdi Bouaziz | 14 February 2020, 16:07:17 UTC | Tests_python: update regression tests outputs | 12 March 2020, 18:34:23 UTC |
179ecb4 | Mehdi Bouaziz | 19 November 2019, 14:34:20 UTC | Protocol/Michelson: do not use comparable_ty_of_ty for set update Using `ty_of_comparable_ty` puts a stronger bound on the execution time, which helps allowing more comparable types. As a result, `Update` used on a non-comparable type will give `Bad_stack_item` error rather than a `Comparable_type_expected` one. Also there is a slight increase in gas used for type checking: about 5 old gas units for each set update appearing in the code. See following commit for test updates. | 12 March 2020, 18:34:23 UTC |
030c022 | Mehdi Bouaziz | 21 November 2019, 09:22:03 UTC | Explicit absence of gas accounting in comparable_ty_of_ty | 12 March 2020, 18:34:23 UTC |
4703f45 | Mehdi Bouaziz | 18 February 2020, 15:17:05 UTC | Tests_python: add test for non-comparable type in set update | 12 March 2020, 18:34:22 UTC |
61a9d4e | Tomáš Zemanovič | 26 February 2020, 13:56:24 UTC | Tests/Sandbox: Switch upgrades tests from Babylon to Carthage | 12 March 2020, 18:34:22 UTC |
020e4c4 | Tomáš Zemanovič | 26 February 2020, 11:18:45 UTC | Vendors/flextesa: wait a bit after node is bootstrapped This prevents occasional test failures when the client is not ready yet. | 12 March 2020, 18:34:22 UTC |
5cde7f3 | Tomáš Zemanovič | 26 February 2020, 09:06:12 UTC | Vendors/flextesa: Add "Dnext" protocol and use as default | 12 March 2020, 18:34:22 UTC |
a1d2cf9 | Tomáš Zemanovič | 26 February 2020, 13:55:37 UTC | Proto: Allow activation from Carthage | 12 March 2020, 18:34:22 UTC |
e5fc6c1 | Tomáš Zemanovič | 22 January 2020, 14:44:01 UTC | Proto/RPC: return all delegates if no flags were used | 12 March 2020, 18:34:21 UTC |
1361f33 | Ilias Garnier | 19 February 2020, 10:40:02 UTC | Tests/Python: fix gas bound in test_contract.py | 12 March 2020, 18:34:21 UTC |
00e3992 | Pierre Boutillier | 12 December 2019, 15:22:21 UTC | Protocol: Safer Int64.to_int | 12 March 2020, 18:34:21 UTC |
b2b9e06 | Ilias Garnier | 13 February 2020, 10:05:42 UTC | Tests/Python: regenerate regression traces without internal_gas | 12 March 2020, 18:34:21 UTC |
1db473a | Ilias Garnier | 10 February 2020, 10:57:10 UTC | Proto/gas: remove internal_gas | 12 March 2020, 18:34:21 UTC |
2e10c0a | Ilias Garnier | 10 February 2020, 13:06:18 UTC | Proto/test: fix gas limit in unit test framework | 12 March 2020, 18:34:20 UTC |
50ba330 | Ilias Garnier | 13 February 2020, 09:16:33 UTC | Tests/Python: regenerate regression traces witnessing internal_gas=0 | 12 March 2020, 18:34:20 UTC |
3cd25c0 | Ilias Garnier | 07 February 2020, 09:44:15 UTC | Tests/Python: adjust gas limits and fees in Python tests | 12 March 2020, 18:34:20 UTC |
77f3930 | Ilias Garnier | 06 February 2020, 13:28:11 UTC | Proto/gas: rescale gas by 2^7, making internal_gas always 0 | 12 March 2020, 18:34:19 UTC |
0281390 | Ilias Garnier | 05 February 2020, 10:45:53 UTC | Tests/Python: regenerate traces including internal_gas | 12 March 2020, 18:34:19 UTC |
1fdf274 | Ilias Garnier | 05 February 2020, 10:14:12 UTC | Proto/gas: make internal gas visible in interpreter traces - the code introduced here is transient and only aims at helping reviewing the gas rescaling. | 12 March 2020, 18:34:19 UTC |
1d76153 | Ilias Garnier | 05 February 2020, 10:10:05 UTC | Tests/Python: adjust fees and gas in python tests | 12 March 2020, 18:34:19 UTC |
1f8c41e | Ilias Garnier | 10 January 2020, 15:53:36 UTC | Protocol/gas: fix scaling of gas accounting for number of writes | 12 March 2020, 18:34:19 UTC |
3a5e2aa | Ilias Garnier | 06 February 2020, 10:36:34 UTC | Client/baking: use Q.t instead of Z.t for fee computation - this commit changes the encoding `nanotez_enc` in proto_alpha/lib_mempool/filter.ml | 12 March 2020, 18:34:18 UTC |
e843c6c | Ilias Garnier | 07 February 2020, 14:17:44 UTC | Proto/Test: new tests checking basic gas properties | 12 March 2020, 18:34:18 UTC |
58d9333 | Ilias Garnier | 07 February 2020, 14:17:01 UTC | Proto/Test: export `validation_state` in Incremental module | 12 March 2020, 18:34:18 UTC |
90055d3 | Tomáš Zemanovič | 24 January 2020, 12:21:22 UTC | Test/Python: move and fix Map_map side-effect test | 12 March 2020, 18:34:18 UTC |
58eea30 | Raphaël Cauderlier | 11 February 2020, 11:59:57 UTC | Tests/Python: fix error message in chain_id arity test | 12 March 2020, 18:34:18 UTC |
e6fc3da | Raphaël Cauderlier | 11 February 2020, 11:56:39 UTC | Proto/Michelson: fix the arity check for chain_id | 12 March 2020, 18:34:18 UTC |
d5e44e9 | Raphaël Cauderlier | 11 February 2020, 11:52:05 UTC | Tests/Python: add an ill-typed test for the arity of chain_id. This shows the bad error message produced for an arity error for the `chain_id` primitive. | 12 March 2020, 18:34:17 UTC |
b53e999 | Raphaël Cauderlier | 10 February 2020, 13:25:39 UTC | Proto/Michelson: remove some Lwt wrappers | 12 March 2020, 18:34:17 UTC |
05693b6 | Mehdi Bouaziz | 05 February 2020, 17:07:03 UTC | Proto: expose parse_storage | 12 March 2020, 18:34:17 UTC |
7a063b5 | baugr | 05 February 2020, 15:34:26 UTC | Michelson: exposes parsing without specifying storage | 12 March 2020, 18:34:17 UTC |
0a1328e | Adrian Brink | 07 October 2019, 01:04:48 UTC | Proto: Uniform variable names for context + comments clean-up | 12 March 2020, 18:34:17 UTC |
382a335 | Ilias Garnier | 04 February 2020, 14:25:41 UTC | Tests/Python: regenerate reg. traces | 12 March 2020, 18:34:16 UTC |
1d1ff3b | Ilias Garnier | 04 February 2020, 12:47:05 UTC | Proto/Michelson: hoist Gas.consume out of interp. pattern matching - also remove some unused functions in Michelson_v1_gas | 12 March 2020, 18:34:16 UTC |
cd736c4 | Ilias Garnier | 04 February 2020, 13:47:35 UTC | Tests/Python: regenerate regression traces | 12 March 2020, 18:34:16 UTC |
0037858 | Ilias Garnier | 04 February 2020, 12:45:36 UTC | Proto/Michelson: hoist gas consumption in Slice_{string,bytes} | 12 March 2020, 18:34:16 UTC |