Grégoire Henry
|
c4c375dfc2
|
Proto_alpha/test: module renaming
|
2018-02-05 23:34:05 +01:00 |
|
Grégoire Henry
|
c6bf7d78b6
|
Proto_alpha/test: split tests.
|
2018-02-05 23:34:05 +01:00 |
|
Grégoire Henry
|
7929027793
|
Proto/test: do not depend on shell
For the test suite we only use the in-memory context.
|
2018-02-05 23:34:05 +01:00 |
|
Grégoire Henry
|
971c3c4b21
|
Refactor: move Registred_protocol from State to Tezos_updater
|
2018-02-05 23:34:05 +01:00 |
|
Grégoire Henry
|
dffa65f648
|
Test: add test dependencies into *.opam and fix .gitlab-ci.yml
|
2018-02-05 23:34:05 +01:00 |
|
Grégoire Henry
|
868514af2b
|
Test: move test/proto_alpha_isolate into proto_alpha/lib_protocol/test
|
2018-02-05 23:34:05 +01:00 |
|
bruno
|
ffe41a003c
|
Michelson: add comments + registration for "Transfer in DIP"
|
2018-02-05 15:57:15 +01:00 |
|
bruno
|
ff7a8abb27
|
Michelson: mv registration of type-checking errors in a specific file
|
2018-02-05 15:49:30 +01:00 |
|
bruno
|
21c4cc6e69
|
Michelson: add registration for Overflow + some comments
|
2018-02-05 15:06:00 +01:00 |
|
bruno
|
75f29f4a05
|
Michelson: mv typechecking error definitions to a separate file
|
2018-02-05 14:58:19 +01:00 |
|
Grégoire Henry
|
d8151c0d00
|
Proto/alpha: use two operations list (endorsement / others)
|
2018-02-02 11:56:57 +01:00 |
|
Grégoire Henry
|
a1122f2083
|
Baking: handle validation passes
|
2018-02-02 11:56:57 +01:00 |
|
Grégoire Henry
|
618a43b485
|
Proto: export acceptable_passes
|
2018-02-02 11:56:54 +01:00 |
|
Grégoire Henry
|
ae3ff0503b
|
Proto: the number of validation is now a protocol constant
|
2018-02-02 10:27:58 +01:00 |
|
Milo Davis
|
d1b4230962
|
Michelson: export and printing for Duplicate_field error
|
2018-01-31 14:06:35 +01:00 |
|
Milo Davis
|
695b23bd92
|
Michelson: export and printing for Type_too_large error
|
2018-01-31 11:25:50 +00:00 |
|
Grégoire Henry
|
04465e3ac6
|
Proto_sigs: split the deprecated module Tezos_data
|
2018-01-30 11:25:46 +01:00 |
|
Grégoire Henry
|
fda8b4ee5f
|
Refactor: rename prota_alpha/lib_proto
|
2018-01-30 10:13:40 +01:00 |
|