Pierre Chambart
91de539af7
Alpha: Fix indent
2018-06-26 18:54:15 +02:00
Pierre Chambart
03ee2224e8
Alpha: Add label to baker argument of Apply.mark_skipped
2018-06-26 18:28:43 +02:00
Benjamin Canou
3106dee82a
Alpha: add explicit Backtracked case in receipts
2018-06-26 18:13:28 +02:00
Benjamin Canou
85b9a58261
Alpha: restore semantics of operation sequence failure
2018-06-26 18:13:28 +02:00
Benjamin Canou
fad851561b
Client: fix error message
2018-06-26 18:13:28 +02:00
Benjamin Canou
67f95ff156
Alpha: include fees from failed operations in receipts
2018-06-26 18:13:28 +02:00
Benjamin Canou
13fb40a4c9
Alpha: check hard storage limit in precheck
2018-06-26 18:13:28 +02:00
Benjamin Canou
6efb4eb6b4
Alpha: check hard gas limit in precheck
2018-06-26 18:13:28 +02:00
Benjamin Canou
ece5dd2d78
Alpha: fix storage limit check
2018-06-26 18:13:28 +02:00
bruno
1ecc5af454
Alpha/Tests: add some tests for delegation
2018-06-26 12:57:19 +00:00
bruno
1c3d5c4232
Alpha/Test/helpers: add PKH equality functions
2018-06-26 12:57:19 +00:00
bruno
42c7b004ec
Alpha/Test/helpers: add call to delegate RPC
2018-06-26 12:57:19 +00:00
bruno
9f30b220e4
Alpha/Tests: typos + useful tez related functions
2018-06-26 12:57:19 +00:00
Vincent Botbol
ffcd0a0c09
Accuser: include suggested modifications
2018-06-26 14:09:09 +02:00
Vincent Botbol
babb457354
Lib_delegate: clean up
2018-06-26 14:07:46 +02:00
Vincent Botbol
b2194fa27d
Alpha/Accuser: add a new accuser adapted to the new daemon framework
2018-06-26 14:06:34 +02:00
Vincent Botbol
aa95ee8332
Accuser: add utility functions to forge double_evidence operations
2018-06-26 12:43:34 +02:00
Vincent Botbol
989c0193a1
Baker: retry once opening node's context on failed checkouts
2018-06-26 12:37:04 +02:00
Vincent Botbol
c267f04cdc
Baker: remove retry calls on failing shell operation validation
2018-06-26 11:18:38 +02:00
Raphaël Proust
9cdd593e61
Alpha/Baker: avoid list concatenations
2018-06-26 13:42:41 +08:00
Raphaël Proust
d71b1648d9
Alpha/Baker,Endorser: dynamically find keys
2018-06-26 13:42:41 +08:00
Raphaël Proust
d4974aefa8
Alpha/Bake,Endorse,Denounce: outsource scheduling
...
This makes the scheduling its own separate problem the solution of which
can be tackled separately from the specificities of the three binaries.
2018-06-26 13:42:41 +08:00
Raphaël Proust
14ee040e97
Alpha/Baker: outsource mining
...
The (small) proof-of-work operation is handled separately.
2018-06-26 13:32:45 +08:00
Raphaël Proust
bde05da36a
Alpha/Baker: outsource retry to lwt-utils
2018-06-26 13:32:45 +08:00
Raphaël Proust
a5cb2c1a5d
Alpha/Baker: comments
2018-06-26 13:32:45 +08:00
Raphaël Proust
c35f42ff0e
Alpha/Baker: fee threshold
2018-06-26 13:32:45 +08:00
Raphaël Proust
204a1c9b6a
Alpha/Endorser: use filter rather than filter_map
2018-06-26 13:32:45 +08:00
Raphaël Proust
52dc0c5858
Error_monad: make filter_map_p truly parallel
2018-06-26 13:32:45 +08:00
Raphaël Proust
18f6dab856
Alpha/Denunciator: improve worker loop
...
- exit on errors
- log errors
2018-06-26 13:32:45 +08:00
Raphaël Proust
a220aeb1a7
Alpha/baker: names for validation passes index
2018-06-26 13:32:45 +08:00
Raphaël Proust
3f0da7668d
Alpha/Endorser: use lazy init for contracts
...
This gives the Endorser the same semantic as the Baker: the delegate
keys are retreived once if not explicitely given as arguments.
2018-06-26 13:32:45 +08:00
Raphaël Proust
0431a13611
Alpha/Baker: less ad-hoc initialisation
2018-06-26 13:32:45 +08:00
bruno
dca83d13de
Data_encoding: Fix typo
2018-06-25 21:41:14 +00:00
bruno
7d4055b327
Alpha: fix error in comment
2018-06-25 21:41:14 +00:00
bruno
23096a7009
Alpha: add missing errors registrations
2018-06-25 21:41:14 +00:00
bruno
85315c0480
Alpha: export errors
2018-06-25 21:41:14 +00:00
bruno
59cdbd3ef1
Alpha: remove non-used errors
2018-06-25 21:41:14 +00:00
Marco Stronati
5afcdb327f
Alpha: comments
2018-06-25 23:26:42 +02:00
Marco Stronati
1e8bb2e103
Alpha: fix receipts for endorsement and double_{baking,endorsement}
2018-06-25 23:26:42 +02:00
Benjamin Canou
1c7d7ce712
Alpha: switch TZ1 to KT1 to limit confusion with tz1
2018-06-25 17:29:42 +02:00
Benjamin Canou
92a3c709a1
Client/RPCs: fix storage cost estimation
2018-06-25 17:25:50 +02:00
Chris Martin
2f4c002acf
Fix "bootstrapping" typos
2018-06-25 15:15:19 +02:00
Marco Stronati
259c97bc9c
Alpha: change encoding of Tez from int64 to Zarith n
2018-06-24 20:11:31 +02:00
Marco Stronati
6f4060011d
Alpha: counter, gas_limit and storage_limit encoded with n
2018-06-24 12:03:01 +00:00
Benjamin Canou
bba88743df
Shell: fix checkpoint checks in bootstrap pipeline
2018-06-24 01:25:09 +02:00
Lý Kim Quyên
aa1450d8e6
Alpha: update operation receipt for endorser
2018-06-23 21:33:08 +00:00
Pierre Chambart
04c66869c9
Fixup fix burns
2018-06-23 23:15:20 +02:00
Pierre Chambart
d00cbaf081
Alpha: receipts account for the paid storage space diff and storage space
2018-06-23 23:15:20 +02:00
Pierre Chambart
503e3c5679
Alpha: burn is 257mꜩ not µꜩ
2018-06-23 23:15:20 +02:00
Pierre Chambart
d61dc7abbd
Alpha: Fix burns
2018-06-23 23:15:20 +02:00
Pierre Chambart
8ac056218c
fix test for expect_failure
2018-06-23 23:13:06 +02:00
Pierre Chambart
c2483da50f
Fail correctly in the tests
2018-06-23 23:13:06 +02:00
Pierre Chambart
2ef5b26b1b
Fix wrong test directions
2018-06-23 23:13:06 +02:00
Pierre Chambart
7b770c52d5
Initialize Paid and used storage for contracts without code
2018-06-23 23:13:06 +02:00
Pierre Chambart
455012d4e9
Do not burn when there is nothing to burn.
...
It would fail when the contract is eliminated
2018-06-23 23:13:06 +02:00
Pierre Chambart
b3c670ef8f
Verify some more tests
2018-06-23 23:13:06 +02:00
Pierre Chambart
e52f01caa6
Start applying 'expect failure' in tests
2018-06-23 23:13:06 +02:00
Pierre Chambart
ad827cf060
Mor euseful tests
2018-06-23 23:13:06 +02:00
Pierre Chambart
dd8e4d85f9
Alpha: Rename Fees into Fees_storage
...
It was moved before ALpha_context
2018-06-23 23:13:06 +02:00
Pierre Chambart
a754672bcf
Alpha: Storage burn hapens at the end of manager operations
2018-06-23 23:13:06 +02:00
Benjamin Canou
1e9a6e9941
Alpha: bootstrap accounts and contracts cleanup
2018-06-23 18:14:08 +02:00
Pierre Chambart
dd933b422b
Alpha: bootstrap contracts are typechecked
2018-06-23 17:45:48 +02:00
Grégoire Henry
bb288ac64b
Alpha: more verbose endorser
2018-06-23 04:31:41 +02:00
Vincent Bernardoff
1c71b1fafb
Client/Alpha: add activate fundraiser account
2018-06-23 04:09:34 +02:00
Vincent Bernardoff
67938bb191
Client: reintroduce import fundraiser secret key
2018-06-23 04:09:34 +02:00
Pietro
79b2a4e825
Client: wait for the node to be bootstrapped before injecting an operation
2018-06-23 03:12:33 +02:00
Benjamin Canou
4c4400a073
Alpha: remove a few more try ... with
2018-06-23 00:30:16 +02:00
bruno
105d8e3833
Protocol environment: remove unsafe functions that have a safe(r) equivalent
2018-06-23 00:29:39 +02:00
bruno
e498a15a1a
Alpha: replace 'try ... with'
2018-06-22 22:01:48 +00:00
bruno
1ccdea0d08
Protocol Environment: replace try ... with
2018-06-22 22:01:48 +00:00
bruno
9a8354680a
Protocol Environment / Z: add doc
2018-06-22 22:01:48 +00:00
bruno
3eaacb4b85
Protocol Environment: add missing copyright banners
2018-06-22 22:01:48 +00:00
bruno
ba8b72f66a
Protocol environment / Format: remove not needed functions
2018-06-22 22:01:48 +00:00
bruno
371dc971e1
Protocol environment / Format: replace with 4.06.1 version
2018-06-22 22:01:48 +00:00
bruno
1a67c2865d
Protocol environment / List: update to 4.06.1
2018-06-22 22:01:48 +00:00
bruno
ae30b52bd6
Protocol Environment / Int64: update to 4.06.1
2018-06-22 22:01:48 +00:00
bruno
f428af9b50
Protocol environment / Int32: update to 4.06.1
2018-06-22 22:01:48 +00:00
bruno
5e73ef8fea
Protocol environment / Pervasives: remove floating-point arithmetic
...
Also remove string conversion functions for float.
2018-06-22 22:01:48 +00:00
bruno
3ae114f1c9
Protocol environment / Pervasives: update to 4.06.1
2018-06-22 22:01:48 +00:00
bruno
2af0cb6b75
Protocol environment / Set: update to 4.06.1
2018-06-22 22:01:48 +00:00
bruno
12b6af10ee
Protocol environment / String: update to 4.06.1
2018-06-22 22:01:48 +00:00
bruno
dfd561d3ef
Protocol environment: rm Array
2018-06-22 22:01:48 +00:00
Pierre Chambart
a6807b4d13
Alpha: allow injecting a contract as bootstrap
2018-06-22 23:41:02 +02:00
Benjamin Canou
7de19f9cc0
Alpha,RPCs: run_code makes a dummy origination instead of taking a random contract from the wallet
2018-06-22 23:41:02 +02:00
Benjamin Canou
2b123349dc
Michelson: fix error serialization
2018-06-22 18:03:52 +02:00
Benjamin Canou
76970ffe4d
Client: fix check signature command
2018-06-22 14:18:08 +00:00
Benjamin Canou
e77edb7964
Michelson: bytes are now comparable
2018-06-22 14:18:08 +00:00
Benjamin Canou
af7a64123f
Michelson: minor error message fix in typechecker
2018-06-22 14:18:08 +00:00
Benjamin Canou
29a33aedd3
Client: refactor data hashing and signing commands
2018-06-22 14:18:08 +00:00
Benjamin Canou
7b5e029537
Michelson: prepend 0x05 to PACKed data
2018-06-22 14:18:08 +00:00
Benjamin Canou
710998caf4
Michelson: add SHA256 and SHA512
2018-06-22 14:18:08 +00:00
Benjamin Canou
b17a44d7eb
Michelson: BLAKE2B now takes bytes
2018-06-22 14:18:08 +00:00
Benjamin Canou
197b29b040
Michelson: add PACK and UNPACK
2018-06-22 14:18:08 +00:00
Benjamin Canou
5fe6bd9a54
Proto: add raw_hashes.mli to introduces new hashes in Michelson
2018-06-22 14:18:08 +00:00
Benjamin Canou
70f4236d91
Michelson: BLAKE2B and CHECK_SIGNATURE now operate on bytes
2018-06-22 14:18:08 +00:00
Benjamin Canou
96f6ef1c78
Michelson: s/H/BLAKE2B/
2018-06-22 14:18:08 +00:00
Benjamin Canou
c3f4aa1454
Michelson: new bytes type
2018-06-22 14:18:08 +00:00
Benjamin Canou
45d8fd11ae
Michelson: use new Micheline Bytes case for optimized representation
2018-06-22 14:18:08 +00:00
Benjamin Canou
0279f86e77
Micheline: 0x.. constants are now of a new Bytes case
2018-06-22 14:18:08 +00:00
Benjamin Canou
1ccfe6aed9
Michelson: remove confusing MANAGER instruction
2018-06-22 14:18:08 +00:00
Benjamin Canou
3d602424d1
Michelson: fix example in doc and add an antipattern (suggested by @tomjack)
2018-06-22 14:18:08 +00:00
Benjamin Canou
15c8c7af86
Michelson, docs: various fixes
2018-06-22 14:18:08 +00:00
Benjamin Canou
377f3e1e44
Michelson: change semantics of SOURCE and add SENDER
2018-06-22 14:18:08 +00:00
Alain Mebsout
bc88ede900
Michelson: FAIL as a macro
2018-06-22 14:18:08 +00:00
Alain Mebsout
871a86e32d
Michelson: instruction FAILWITH which takes one element on the stack
2018-06-22 14:18:08 +00:00
Vincent Bernardoff
5e8e6347e2
Signer/Socket: fix some glitches
2018-06-22 15:37:20 +02:00
Benjamin Canou
357a4827e8
Client: allow custom headers when calling the remote signer
2018-06-21 18:09:28 +02:00
Vincent Bernardoff
5e0822eb22
Client/Alpha: program -> script
2018-06-21 01:07:38 +02:00
Vincent Bernardoff
404774e091
Signer/Ledger: log Ledger APDUs on debug
2018-06-21 00:57:06 +02:00
Benjamin Canou
a57c1edec1
Client: minor cosmetic change
2018-06-21 00:24:18 +02:00
Fabrice Le Fessant
89c018f31b
Client: don't try to generate vanity keys with wrong first letter
2018-06-21 00:23:48 +02:00
Vincent Bernardoff
7e4a0f3368
Client: add forget address command
2018-06-20 23:57:16 +02:00
Vincent Bernardoff
4248738866
Client: substitute -force with --force
2018-06-20 16:59:20 +00:00
Benjamin Canou
a1a89753e5
Alpha: fix encoding for combined operation and receipt
2018-06-20 15:24:03 +02:00
Vincent Bernardoff
4e4d96dae1
Client: remove tags
2018-06-20 10:50:01 +02:00
Vincent Bernardoff
b022a605b4
Client: identity -> address
2018-06-19 16:16:14 +02:00
Pierre Chambart
47039ba9d1
Shell: fix merge problem in test
2018-06-19 12:15:27 +00:00
Pierre Chambart
8370b8fd69
Shell: Simplify early failure in case of locator incompatible with the checkpoint
2018-06-19 12:15:27 +00:00
Pierre Chambart
a7ef80fa34
Shell: Time error printing with more details
2018-06-19 12:15:27 +00:00
Pierre Chambart
2aeba212a7
Shell: Quick and dirty allowance of time shift
...
The right solution being to wait for the messages to be valid.
2018-06-19 12:15:27 +00:00
Pierre Chambart
663c4e223e
Shell: Fill "..." for checkpoint options
2018-06-19 12:15:27 +00:00
Grégoire Henry
fc0af4a55f
Shell: add option --checkpoint to tezos-node run
2018-06-19 12:15:27 +00:00
Grégoire Henry
c16129a02d
Shell: early detection of branches that forks before the checkpoint.
2018-06-19 12:15:27 +00:00
Grégoire Henry
6170ae2246
Shell: early detection of incompatible new heads and branches.
2018-06-19 12:15:27 +00:00
Grégoire Henry
96dd65e36d
Shell: early detection of incompatible injected blocks
2018-06-19 12:15:27 +00:00
Grégoire Henry
a08d6b8cd9
Shell: update the checkpoint when updating the head
...
The new checkpoint is the current `last_allowed_fork_level` of the new
head.
When updating the checkpoint the shell tags as invalid all blocks with
a level strictly higher to the new checkpoint that are inconstant with
it. And it removes from the disk all the block with a level lower or
equal to the new checkpoint that do not belongs to the current
chain. Though, the shell removes nothing from the disk when the
current head is below the current checkpoint: this will allow to
configure an expected checkpoint when bootstraping a node.
The first patch is very conservative and only detects new incompatible
blocks when they are stored on disk (i.e. after the validation).
Fiture patches try to detect earlier such incompatible block.
2018-06-19 12:15:27 +00:00
Grégoire Henry
535616e21e
Shell: add error for blocks inconsistent with the checkpoint
2018-06-19 12:15:27 +00:00
Grégoire Henry
d552c611c5
Shell: allow to store the current checkpoint of a chain
...
Currently initialized with the chain genesis.
2018-06-19 12:15:27 +00:00
Grégoire Henry
d02892b810
Shell: store the last allowed fork level
2018-06-19 12:15:27 +00:00
Grégoire Henry
a43ee47ee1
Shell: add a mli for validation errors
2018-06-19 12:15:27 +00:00
Grégoire Henry
b1d70d576c
Shell: stricter fitness check on block injection
2018-06-19 12:15:27 +00:00
Grégoire Henry
ccad901f33
Shell: fix test network creation
2018-06-19 12:15:27 +00:00
Grégoire Henry
a0a2d6b004
Shell: filter out future block
2018-06-19 12:15:27 +00:00
Lý Kim Quyên
9d655696da
Alpha: add missing balance updates in operation receipts
2018-06-19 06:12:44 +02:00
Grégoire Henry
3860d689d7
Opam: fix dependencies for tezos-signer-backends
2018-06-19 04:39:39 +02:00
Grégoire Henry
2fbd125511
Alpha: rename baker/endorser command: launch -> run
2018-06-19 03:16:42 +02:00
Grégoire Henry
ee2a126f3e
Alpha: even simpler endorser
2018-06-19 03:11:17 +02:00
Benjamin Canou
c55a462233
Endorser: trust the node to choose the head
2018-06-19 03:06:21 +02:00
Benjamin Canou
6682f05ec9
Baker: do not compare Lwt threads
2018-06-19 03:06:21 +02:00
Benjamin Canou
fdc6bf6b44
Baker, Endorser, exit on lost connection to node
2018-06-19 03:06:21 +02:00
Pierre Chambart
ce926e575a
Teamwork: Prevent leaks with never_ending
...
Lwt_utils.never_ending is a global variable, hence a GC root. A promise
created by binding it cannot ever be garbage collected. This fixes the
known leak in the baker an endorser by allocating a fresh one for each
use (by turning it into a function). This porbably fix other slower
leaks.
High five Klakplok and Vincent.
2018-06-19 03:06:21 +02:00
Benjamin Canou
a09f2cc53e
Alpha: drop old tests
2018-06-19 03:06:21 +02:00
Grégoire Henry
ec6db686d9
Alpha: remove block from endorsements
2018-06-19 03:06:21 +02:00
Galfour
392f6cec46
Tests: fix double_endorsement tests
2018-06-19 03:06:21 +02:00
Marco Stronati
b5c275c5fa
Alpha: reintroduce duplicate endorsement error
2018-06-19 03:06:21 +02:00
Grégoire Henry
1ab9a7a72c
Alpha: remove slots from endorsements
2018-06-19 03:06:21 +02:00
Benjamin Canou
41707f58d8
Baker: do not generate empty endorsements
2018-06-19 03:06:21 +02:00
Benjamin Canou
7500743a4d
Baker: record max level at each block, not each nonce revelation
2018-06-19 03:06:21 +02:00
Benjamin Canou
93a72ca28d
Baker: avoid infinite sleep to the past
2018-06-19 03:06:21 +02:00
Vincent Botbol
cf36510431
Docker: update docker configuration and fix wallet names
2018-06-19 03:06:21 +02:00
MBourgoin
4c65317681
Alpha/Baker: Use state_module to avoid double baking
2018-06-19 03:06:21 +02:00
MBourgoin
7d0c526644
Alpha/Endorser: Refactor State Module
2018-06-19 03:06:21 +02:00
Raphaël Proust
8b73e812ac
Alpha/Baker: load protocol constants lazily
...
This avoids the baker refusing to start when the protocol alpha is not
yet activated.
2018-06-19 03:06:21 +02:00
Vincent Botbol
0fb25db95b
Alpha/Baker: add quota checks and fee sorted manager operations inclusion + quick fix in simulator
2018-06-19 03:06:21 +02:00
Vincent Botbol
ea9b3ae68c
Baker: add client-side validation
2018-06-19 03:06:21 +02:00
Vincent Botbol
0512ff55ce
Baking: split daemons into 3 different binaries
2018-06-19 03:06:21 +02:00
Vincent Botbol
efee9df1c7
Baking: fix baking daemon error when run on genesis
2018-06-19 03:06:21 +02:00
Raphaël Proust
cb64c85d00
Alpha/Baker: keeping future slot for each delegate
2018-06-19 03:06:21 +02:00
MBourgoin
1d1bd2f7d1
Alpha/Endorser: less RPC calls
2018-06-19 03:06:21 +02:00
MBourgoin
669b1b02e7
Alpha/Endorser: Log timeout errors
2018-06-19 03:06:21 +02:00
MBourgoin
b9d97a7a94
Alpha/Endorser: typos
2018-06-19 03:06:21 +02:00
Raphaël Proust
ac20391c62
Alpha/daemons: some factorisation
2018-06-19 03:06:21 +02:00
Raphaël Proust
f221e21444
Alpha/Baker: keeping future slot for each delegate
2018-06-19 03:06:21 +02:00
Raphaël Proust
470a1e91f1
Alpha/Endorser: minor æsthetics
2018-06-19 03:06:21 +02:00
Raphaël Proust
a78eabda37
Alpha/Baker: Remember delegates
2018-06-19 03:06:21 +02:00
Raphaël Proust
3e71d21713
Alpha/Baker: better naming for error management
2018-06-19 03:06:21 +02:00
Raphaël Proust
99f3b8446c
Alpha/Baker: more client messages
2018-06-19 03:06:21 +02:00
Raphaël Proust
41a6c7f9b5
Alpha/Baker: clean up timeouts in main loop
2018-06-19 03:06:21 +02:00
Raphaël Proust
46de116fe7
Alpha/baker: wait for first block instead of error
2018-06-19 03:06:21 +02:00
Raphaël Proust
34aeaadb73
Alpha/Baker: major æsthetics
...
- decompose long functions into small sub-functions
- add comments
- factor some code
- polish out some unecessary bits and bobs
2018-06-19 03:06:21 +02:00
Raphaël Proust
397d011ed9
Alpha/endorser: one upcoming endorsment per key
2018-06-19 03:06:21 +02:00
Raphaël Proust
97fe3f5ca9
Alpha/Endorser: clean-up state after endorsment
...
Remove endorsment slot once it is used. This avoids repeated injection
of the same endorsment operation.
2018-06-19 03:06:21 +02:00
Raphaël Proust
b0e9e44673
Alpha/Endorser: wait for first block
2018-06-19 03:06:21 +02:00
Raphaël Proust
f4cadd37a5
Alpha/endorser: send client messages on success
2018-06-19 03:06:21 +02:00
Raphaël Proust
a63584ad63
Alpha/endorser: minor simplifications and cosmetics
2018-06-19 03:06:21 +02:00
Raphaël Proust
28abac0fb9
Alpha/endorser: bugfix
...
The `max_past` parameter, supposed to stop endorsing of blocks that are
too old, compared absolute times rather than relative times.
Specifically, it would check whether the block timestamp or the current
time was more recent than 110 seconds after epoch.
The new version checks whether the difference between the block
timestamp and the current time is greater than 110seconds.
2018-06-19 03:06:21 +02:00
Raphaël Proust
ac06ccf935
Alpha/Endorser: bugfix
...
When removing old endorsments from the wallet (to avoid it growing),
only old endorsments were kept, or no endorsments at all were kept.
In addition, that function relied on the endorsments being sorted by
level.
2018-06-19 03:06:21 +02:00
Raphaël Proust
16ea7da81d
client base: spacing
2018-06-19 03:06:21 +02:00
Vincent Botbol
cbcc808abc
rebase modifications
2018-06-19 03:06:21 +02:00
MBourgoin
f63b96dbd8
Baker: re-add endorsement delay
2018-06-19 03:06:21 +02:00
Pietro
c98fba3eef
alpha-baker: rename lib_baking -> lib_delegate
2018-06-19 03:06:21 +02:00
MBourgoin
589096680a
Baker: fix cherry-picking
2018-06-19 03:06:21 +02:00
Pietro
9d4be9caba
alpha-baker: Rename client_baking -> delegate
2018-06-19 03:06:21 +02:00
Vincent Botbol
5a3492ea8b
Baker: typos & refactoring
2018-06-19 03:06:21 +02:00
Mathias
a5bb58e146
Client/Endorser: use 'Data_encoding.assoc Raw_level.encoding'
2018-06-19 03:06:21 +02:00
Mathias
fcd29a36f3
Client/Endorser: remove endorsing scheduler
2018-06-19 03:06:21 +02:00
Vincent Botbol
852acc4710
Baking/Test: fix ci
2018-06-19 03:06:21 +02:00
Mathias
d82c811bdd
Client/Endorser: remove older endorsement from wallet
2018-06-19 03:06:21 +02:00
Mathias
c4549650b5
Client/Baking: use wallet lock
2018-06-19 03:06:21 +02:00
Mathias
c0a47a5b6f
Client/Endorser: check blocks timestamps
2018-06-19 03:06:21 +02:00
Mathias
8e40873a51
Client/Endorser: simpler state
2018-06-19 03:06:21 +02:00
Mathias
d33568464a
Client/Endorser: simpler state with lock
2018-06-19 03:06:21 +02:00
Mathias
abc7b7338c
Client: add method with_lock to wallet
2018-06-19 03:06:21 +02:00
Marco Stronati
c46e731031
Alpha: fix bug where seed would stay the same if no nonces were revealed
2018-06-19 02:57:35 +02:00
Marco Stronati
46d053fdb3
Alpha: add Seed_repr.deterministic_seed
2018-06-19 02:57:35 +02:00
Marco Stronati
0ad4f8f6e6
Alpha: Seed_repr.initial_seeds n generates n seeds rather than n+1
2018-06-19 02:57:35 +02:00
Grégoire Henry
9f1c703991
Alpha: fix snapshot removal
2018-06-18 23:53:48 +00:00
Marco Stronati
7473e48d98
Tests: add more tests for seed_nonce_revelation operation
2018-06-19 01:26:20 +02:00
Marco Stronati
b2a09d3edc
Tests: add Op.seed_nonce_revelation
2018-06-19 01:26:20 +02:00
Marco Stronati
dde6addbfb
Tests: add Context.{get_seed,get_seed_nonce_hash}
2018-06-19 01:24:54 +02:00
Marco Stronati
eeb7c6ff5e
Alpha: add rpc to get seed of a cycle of a block
2018-06-19 01:13:58 +02:00
Marco Stronati
125e5ce95f
Alpha: fixed small regression on nonce revelations
2018-06-19 00:56:37 +02:00
Grégoire Henry
67566c271c
Shell: forced upgrades
2018-06-18 15:58:00 +02:00
Benjamin Canou
94f9230d20
Client, RPCs: do not sign transfer simulations
2018-06-17 23:43:27 +02:00
Benjamin Canou
79ab86b076
Client: repair gas cost estimation
2018-06-17 02:01:34 +02:00
Benjamin Canou
2976353636
Client: more caching of public keys
2018-06-17 00:07:58 +02:00
Benjamin Canou
66c9caedd6
Client: cache public keys to limit queries to remote/hardware signers
2018-06-16 21:12:53 +02:00
Benjamin Canou
25948e423d
Client: homogenize signer descriptions
2018-06-16 19:59:37 +02:00
Benjamin Canou
6df91cd015
Client: display tz1/2/3 after adding a secret key
2018-06-16 18:24:04 +02:00
Benjamin Canou
f6f8ed163d
Client: more verbose messages for ledger commands
2018-06-16 18:20:32 +02:00
Vincent Bernardoff
fcec030d51
Client: fix sandbox tezos-signer script
2018-06-16 16:26:19 +02:00
Vincent Bernardoff
00d197830f
Signers: add ledger scheme
2018-06-16 16:26:19 +02:00
Vincent Bernardoff
8bc9695ad0
Client: add {sk,pk}_uri_param
2018-06-16 16:26:19 +02:00
Vincent Bernardoff
4b2e88f97c
Signature: export of_secp256k1 and of_ed25519
2018-06-16 16:26:19 +02:00
Benjamin Canou
820723f8d0
Fix indentation
2018-06-16 14:54:28 +02:00
Benjamin Canou
457fee326e
Alpha: allow serialization of failed manager operations
2018-06-15 17:26:20 +02:00
Pierre Boutillier
fd2ac89cb4
http(s) remote signer returns the list of authorized keys when authentification is required
2018-06-15 15:21:19 +00:00
Pierre Boutillier
6b2d730a4e
More unused variables in roll tests
2018-06-15 09:30:58 +00:00
Pierre Chambart
df214489b7
Alpha: remove some unused variable in test
2018-06-15 09:30:58 +00:00
Pierre Chambart
b5a6f2f03c
Alpha: some more roll tests after the fix
2018-06-15 09:30:58 +00:00
Pierre Chambart
c64698be09
Alpha: fix the doulble roll bug
2018-06-15 09:30:58 +00:00
Pierre Chambart
89f73cceb9
Alpha: test roll numbers
2018-06-15 09:30:58 +00:00
Pierre Chambart
9e6d59d72b
Alpha: Failing test for deactivation
2018-06-15 09:30:58 +00:00
Pierre Chambart
ca2c1971ca
Alpha: Test this error
2018-06-14 23:20:16 +00:00
Pierre Chambart
f178e3625c
Alpha: Add an error that tells which delegate didn't pay its fees
2018-06-14 23:20:16 +00:00
Grégoire Henry
f615459200
Shell/RPC: /chains/<id>/mempool new returned parsed operations
2018-06-14 22:57:04 +00:00
Grégoire Henry
c2517a0432
Shell: minor renaming
2018-06-14 22:57:04 +00:00
Benjamin Canou
7ad44a9af3
Signer: support plain HTTP (no S) and a few cosmetic fixes
2018-06-14 18:22:51 +02:00
Benjamin Canou
0bb12b0655
Signer: magic-byte restriction
2018-06-14 18:22:51 +02:00
Benjamin Canou
347a552396
Signer: add authorized keys mechanism
2018-06-14 18:22:51 +02:00
Benjamin Canou
a8b2ab325e
Alpha: do not catch runtime exceptions
2018-06-14 18:09:32 +02:00
Alain Mebsout
ec648f5397
Micheline: more compact encoding of annotations
2018-06-14 18:09:32 +02:00
Alain Mebsout
1fccffb61c
Michelson: keep field annotations in SET_CADR, MAP_CADR macros
2018-06-14 18:09:32 +02:00
Alain Mebsout
040fa2a075
Michelson: special annotations %@ and @%
2018-06-14 18:09:32 +02:00
Alain Mebsout
1b67e538d8
Michelson, Proto: show execution trace on failure also
...
When doing calling `trace code`, e.g. with option `--trace-stack` in
the client.
2018-06-14 18:09:32 +02:00
Alain Mebsout
eb5837943f
Michelson: propagate variable annotations inside pairs in stack type
...
Also check that tyoe annotated constants are correct, but don't produce
annotated constants when unparsing.
2018-06-14 18:09:32 +02:00
Alain Mebsout
fcd9b61084
Michelson: annotations must start with _a-zA-Z or be empty
...
Empty annotations are used to mean no annotation, or as a wildcard when
destructing pairs for instance.
2018-06-14 18:09:32 +02:00
Alain Mebsout
6dacd8f6a5
Michelson: Force annotations of the same kind to be grouped
2018-06-14 18:09:32 +02:00
Alain Mebsout
1748f370fc
Michelson: Remove binding annotations
...
Use RENAME in code blocks instead.
2018-06-14 18:09:32 +02:00
Alain Mebsout
9993553a59
Michelson: Propagate annotations in execution trace
...
Fixes #179
2018-06-14 18:09:32 +02:00
Alain Mebsout
703a12f681
Michelson: new (nop) opcodes CAST and RENAME
...
Removes RENAME macro
2018-06-14 18:09:32 +02:00
Alain Mebsout
e8329b1fc3
Michelson: do not infer pair field names and fail when fields differ
2018-06-14 18:09:32 +02:00
Alain Mebsout
821c6255dc
Michelson: annotation fixes to match the spec
2018-06-14 18:09:32 +02:00
Alain Mebsout
382e06cf32
Michelson: more robust checking of type alias annotations
2018-06-14 18:09:32 +02:00
Alain Mebsout
96e317f9d3
Michelson: allow type annotations on PUSH-like instructions
2018-06-14 18:09:32 +02:00
Alain Mebsout
ff284cc0c0
Michelson: field annotations on PAIR macros
2018-06-14 18:09:32 +02:00
Alain Mebsout
b51dae6de5
Michelson: Better macros for PAIR/UNPAIR
2018-06-14 18:09:32 +02:00
Alain Mebsout
435d135aa0
Michelson: annotations for variable bindings with $
...
Also move annotation specific code to own module.
2018-06-14 18:09:32 +02:00
Alain Mebsout
68f86fe274
Fix: indentation
2018-06-14 18:09:32 +02:00
Alain Mebsout
cf8532e8f7
Michelson, Test: fix some test contracts with new annotation syntax
2018-06-14 18:09:32 +02:00
Alain Mebsout
ae6a97708e
Michelson: disable typechecking of field names through annotations
...
This is not compatible with the inferring mechanism for annotations in
types.
2018-06-14 18:09:32 +02:00
Alain Mebsout
c8dd939849
Michelson: annotations for set_cadr, map_cadr
2018-06-14 18:09:32 +02:00
Alain Mebsout
82022acabb
Michelson: allow . in annotations
2018-06-14 18:09:32 +02:00
Alain Mebsout
371ce150ce
Michelson: generate default annotation for field accesses
...
If stack is [ @storage (pair int int) ] then stack after CAR:
CAR; [ @storage.car int ]
2018-06-14 18:09:32 +02:00
Alain Mebsout
263b2d717f
Michelson: allow annotations on CMP... macros
2018-06-14 18:09:32 +02:00
Alain Mebsout
68dcae1a11
Michelson: RENAME macro
2018-06-14 18:09:32 +02:00
Alain Mebsout
22bdea00c2
Michelson: check (field) annotations of field accesses
2018-06-14 18:09:32 +02:00
Alain Mebsout
5431752887
Michelson: better syntax for fields of pair types
2018-06-14 18:09:32 +02:00
Alain Mebsout
53b88e4dbb
Michelson: different types of annotations
2018-06-14 18:09:32 +02:00
Benjamin Canou
3140f6e51d
Michelson: allow multiple annotations
2018-06-14 18:09:32 +02:00
Grégoire Henry
a51c912722
Alpha: forbids trivial double baking evidence
2018-06-14 15:57:27 +00:00
Galfour
3dce646b18
Tests: more tests for double baking
2018-06-14 15:57:27 +00:00
Marco Stronati
53ec17c8b4
Tests/helpers: rework block to ease arbitrary signatures
2018-06-14 15:57:27 +00:00
Pietro
4d3a01974c
[proto]: Remove commas from decimal repr of tezos
2018-06-14 15:48:25 +00:00
Marco Stronati
e1702e0db2
Alpha: add check_size when parsing Z values
2018-06-14 02:27:41 +02:00
Marco Stronati
0d136b0bd7
Environment: add Data_encoding.check_size
2018-06-14 02:27:41 +02:00
Marco Stronati
8f5aecfc01
Alpha: change space_storage from int64 to Z.t
2018-06-14 02:27:41 +02:00
Marco Stronati
12b7a49f96
Alpha: change counters from int32 to Z.t
2018-06-14 02:25:12 +02:00
Vincent Bernardoff
9d18f7846d
Crypto: disable P256 signing
2018-06-13 23:59:16 +00:00
Vincent Bernardoff
21823483a5
Crypto: add P256 cryptography
2018-06-13 23:59:16 +00:00
Pierre Chambart
e9c42123cb
Alpha: Simplify a few things after removing dead code.
2018-06-14 00:37:32 +02:00
Pierre Chambart
233273dff8
Alpha: Remove more dead code with in storage functor.
...
There are no instances of Carbonated values that have not a variable
lenght. And I don't forsee this changing anythime soon.
2018-06-14 00:37:32 +02:00
Pierre Chambart
ff428fe680
Alpha: Change carbonated data storage path
...
The len key was key ^ "$" which was problematic for potential name
collision with real keys. It is now key @ ["len"] and key @ ["data"]
2018-06-14 00:37:32 +02:00
Pierre Chambart
31b9c251f6
Alpha: Carbonated functor: fix read after update problems
2018-06-14 00:37:32 +02:00
Pierre Chambart
d11bc0b996
Alpha: Remove empty module type
2018-06-14 00:37:32 +02:00
Pierre Chambart
9c0bb49174
Alpha: Remove dead code
2018-06-14 00:37:32 +02:00
Pierre Chambart
2404246fb3
Alpha: Non implicit contracts cannot be removed
2018-06-14 00:37:32 +02:00
Pierre Chambart
64481a198e
Alpha: remove useless carbonated functor
...
Single carbonated data storage was useless and is buggy. It's simpler to
remove than to fix it.
2018-06-14 00:37:32 +02:00
Grégoire Henry
4c171c72a2
Proto: prepare protocol interface for multipass validation
2018-06-13 16:34:50 +02:00
vbotbol
e314ac635d
Storage: add readonly option
2018-06-13 01:00:47 +02:00
Vincent Bernardoff
a6bc6333da
Shell: use lmdb for disk storage
2018-06-13 00:55:37 +02:00
Benjamin Canou
6d7fe70c44
Fix OPAM dependencies
2018-06-13 00:53:51 +02:00
Benjamin Canou
2d8ca36f12
Data_encoding: cosmetic fixes
2018-06-12 21:27:55 +02:00
Grégoire Henry
6f4a98f6fd
P2P: allow to limit the size of mempool
2018-06-12 21:27:55 +02:00
Grégoire Henry
fed04d4b8f
P2P: allow to limit the size of protocols
2018-06-12 21:27:55 +02:00
Grégoire Henry
99f6e40471
P2P: allow to limit the size of operations and operations list
2018-06-12 21:27:55 +02:00
Grégoire Henry
8072d413fc
P2P: allow to limit the size of block header
2018-06-12 21:27:55 +02:00
Grégoire Henry
85a25e200d
P2P: allow ti limit the length of list in requests
2018-06-12 21:27:55 +02:00
Grégoire Henry
970305a455
Data_encoding: implements bounded lists and arrays
2018-06-12 21:27:55 +02:00
Grégoire Henry
e3272bebc5
Data_encoding: early detection of some oversized data
2018-06-12 21:27:55 +02:00
Grégoire Henry
a5cec8fca0
Proto: move back max_operation_data_length as a constants
2018-06-12 21:27:55 +02:00
Grégoire Henry
39ca91cd57
Stdlib: add List.split_n
2018-06-12 21:27:55 +02:00
Grégoire Henry
22bf535d68
Shell: faster propagation of protocols
2018-06-11 09:24:41 +00:00
Grégoire Henry
1c3880519b
Shell: add test for protocol propagation
2018-06-11 09:24:41 +00:00
Grégoire Henry
5fd5c1c5f7
Dune: upgrade to 1.0+beta20
2018-06-08 15:27:23 +00:00
Grégoire Henry
98f77703c4
Alpha: do not use inter-modules toplevel side-effects
2018-06-08 15:27:23 +00:00
Grégoire Henry
4bc4d6e871
Dune: use linkall for tezos-shell-services
...
So that non-explictly-linked errors are still properly parsed and
pretty-printed.
2018-06-08 15:27:23 +00:00
Grégoire Henry
8eac1b03ac
Alpha: adapt test to new operation type
2018-06-07 12:47:20 +02:00
Raphaël Proust
2bb9c4d743
Data_encoding: documentation improvements
...
- typos
- new documentation
- minor rephrasing
2018-06-07 11:11:43 +02:00
Vincent Bernardoff
0aa9ebcb51
Signer/HTTPS: bugfix
2018-06-07 00:26:05 +02:00
Benjamin Canou
085e262b81
Fix opam dependencies
2018-06-06 17:22:31 +02:00
Pierre Boutillier
761dbdd818
Shell: fix Block_locator.Step.draw on 32bits platform
2018-06-06 15:33:22 +02:00
Grégoire Henry
5c9f8f00f4
Client: less RPC call while waiting for confirmations
2018-06-06 15:24:05 +02:00
Grégoire Henry
ca1d4158a7
Shell/RPC: add raw block header in monitoring RPCs
2018-06-06 15:24:05 +02:00
Grégoire Henry
5aa65ee71f
Shell/RPC: allow to fetch raw Block_header
2018-06-06 15:24:05 +02:00
Grégoire Henry
9df99e4553
Alpha: use the zero signature for anonymous operation
2018-06-06 15:24:05 +02:00
Benjamin Canou
6d2bf5af90
Alpha: add a few comments
2018-06-06 14:45:41 +02:00
Benjamin Canou
fa418ee6e0
Alpha: simplify handling of Unit parameter in Apply
2018-06-06 14:45:06 +02:00
Benjamin Canou
b2b0a98e39
Alpha: minor style fix: turn a ? into a ~
2018-06-06 12:38:57 +02:00
Benjamin Canou
7c8e0403e3
Alpha: minor cleanup of Apply for better readability
2018-06-06 12:05:57 +02:00
Benjamin Canou
91479c1079
Proto: fix jbuild to remove spurious warnings when using Merlin
2018-06-06 11:48:49 +02:00
Benjamin Canou
f53cb40915
Michelson: do not padd nat-encoded addresses that are now fixed sized
2018-06-06 11:28:07 +02:00
Benjamin Canou
23e1486564
RPC: add missing error registration
2018-06-06 10:54:33 +02:00
Benjamin Canou
83dae71883
RPCs: remove useless error
2018-06-06 10:54:33 +02:00
Benjamin Canou
b2b1c8e30b
Shell: fill some placeholder docs
2018-06-06 10:54:33 +02:00
Benjamin Canou
ee735c33cf
Alpha: fix typos and fill placeholders in services doc
2018-06-06 10:54:33 +02:00
Benjamin Canou
e9102a6f13
Demo: remove unused variable
2018-06-06 10:54:33 +02:00
Grégoire Henry
e3b6a0a568
Alpha: add padding to Contract.encoding
2018-06-06 10:54:33 +02:00
Grégoire Henry
9a43902f03
Data_encoding: allow to add padding
2018-06-06 10:54:33 +02:00
Grégoire Henry
c82b44e8f2
Doc: less unnamed fields in binary description
2018-06-06 10:54:33 +02:00
Grégoire Henry
5baa090a1e
Data_encoding: stylistic changes in printer of binary schema
2018-06-06 10:54:33 +02:00
Grégoire Henry
030630ec0f
Data_encoding: mandatory title to case
2018-06-06 10:54:33 +02:00
Grégoire Henry
b7ca0a1e1e
Alpha: use 'dft' field for boolean flag
...
This simplifies the binary encoding without changing the semantics of
the JSON objects.
2018-06-06 10:54:33 +02:00
Grégoire Henry
ce79dc5383
Alpha: deposit at the end of validation.
...
This allows to credit bond in the block.
2018-06-06 10:54:33 +02:00
Grégoire Henry
670249f580
Alpha: remove constant first_free_baking_slot
2018-06-06 10:54:33 +02:00
Grégoire Henry
162bd73e85
Data_encoding: generate RST for binary description
2018-06-06 10:54:33 +02:00
Grégoire Henry
499377bcc4
Data_encoding: proper handling of kind in Dynamic_size
2018-06-06 10:54:33 +02:00
Grégoire Henry
6922a793fe
Data_encoding: skip zero_width field in binary description
2018-06-06 10:54:33 +02:00
Grégoire Henry
7c2ef081d5
Data_encoding: more 'inlining' in binary description
2018-06-06 10:54:33 +02:00
Grégoire Henry
705d6fb282
Data_encoding: do not use wildcard pattern matching
2018-06-06 10:54:33 +02:00
Grégoire Henry
a17e5d177c
Doc: add api/p2p.rst
2018-06-06 10:54:33 +02:00
Milo Davis
bb2738bf12
Data_encoding: add descriptions and case names
2018-06-06 10:54:33 +02:00
Milo Davis
ec7eeaaa0e
Client: describe unsigned data commands
2018-06-06 10:54:33 +02:00
Milo Davis
0a88f1887c
Data_encoding: binary description printing
2018-06-06 10:54:33 +02:00
Milo Davis
4c03952e43
RPC_service: register Not_found error
2018-06-06 10:54:33 +02:00
Grégoire Henry
632144b689
RPC: remove subfield accessors
...
This is painful to maintain and `jq` works well.
2018-06-06 10:54:33 +02:00
Grégoire Henry
e4ffbd2854
RPC: remove access to a single contant
2018-06-06 10:54:33 +02:00
Grégoire Henry
1d75ff1871
Alpha: simplify the metadata encoding for balance update
2018-06-06 10:54:33 +02:00
Raphaël Proust
025187da2f
Data_encoding/Json: use strings for all int64
...
See Issue #190
2018-06-06 10:54:33 +02:00
Grégoire Henry
5d8c73dacb
TMP precheck manager operation
2018-06-06 10:54:33 +02:00
Grégoire Henry
ceddb09ea7
TMP remove dictator
2018-06-06 10:54:33 +02:00
Grégoire Henry
420986b45b
Alpha: simplify the operation datatype
2018-06-06 10:54:33 +02:00
Grégoire Henry
371b84fa5d
Alpha/PRC use more Data_encoding.def
2018-06-06 10:54:33 +02:00
Grégoire Henry
33c3d1fcbd
Alpha/RPC: add a low-level but typed RPC for context introspection
...
Example:
```
> tezos-client rpc get /chains/main/blocks/head/context/raw/json/\?depth\=1 | jq
{
"commitments": [],
"contracts": {
"global_counter": 0,
"index": []
},
"cycle": [
4,
3,
2,
1,
0
],
"delegates": [
"tz1gjaF81ZRRvdzjobyfVNsAeSC6PScjfQwN",
"tz1faswCTDciRzE4oJ9jn2Vm2dvjeyA9fUzU",
"tz1ddb9NMYHZi5UzPdzTZMYQQZoMub195zgv",
"tz1b7tUupMgCNw2cCLpKTkSD1NZzB5TkP2sv",
"tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx"
],
"last_block_priority": 0,
"rolls": {
"index": [],
"next": 2000,
"owner": {}
},
"votes": {
"ballots": [],
"current_period_kind": "proposal",
"current_quorum": 8000,
"listings": [],
"proposals": []
}
}
> tezos-client rpc get /chains/main/blocks/head/context/raw/json/cycle/4\?depth\=2 | jq
{
"last_roll": [
[
0,
2000
]
],
"nonces": [],
"random_seed": "97d50852c159ada8e9f107e98f693b059ba28336c723e6cd0f6353eb3c0cb415",
"roll_snapshot": 0
}
> tezos-client rpc get /chains/main/blocks/head/context/raw/json/cycle/5\?depth\=2 | jq
{
"last_roll": [
[
1,
2000
],
[
0,
2000
]
],
"nonces": [],
"roll_snapshot": 2
}
```
2018-06-06 10:54:33 +02:00
Grégoire Henry
74acad1472
Alpha: minor signature change in storage functors
2018-06-06 10:54:33 +02:00
Grégoire Henry
f7aa0398ca
Alpha/RPC: minor renaming
2018-06-06 10:54:33 +02:00
Grégoire Henry
f5e3fb17c0
Resto: lift the lwt monad into Resto.
2018-06-06 10:54:33 +02:00
Grégoire Henry
b6b30875e4
Resto: export RPC_arg.eq to the protocol.
2018-06-06 10:54:33 +02:00
Grégoire Henry
1460aba927
Alpha/RPC: some renaming in delegate services
2018-06-06 10:54:33 +02:00
Grégoire Henry
ebc00b6463
Client/Alpha: display the "real" metadata when --wait is used
2018-06-06 10:54:33 +02:00
