balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
2,438 Commits 2 Branches 0 Tags 65 MiB
5400984c36
Commit Graph

1915 Commits

Author SHA1 Message Date
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
Grégoire Henry
89cbe0f8fa Docs/RPC: fix doc generation 
The current doc generator does not handles path were multiple method
are registred. The fix remove the intermediate (compilation) tree.
 2018-06-06 10:54:33 +02:00
Grégoire Henry
22d20509bf Docs/RPC: minor RPC improvements 2018-06-06 10:54:33 +02:00
Grégoire Henry
33ded01ae7 Shell/RPC: rename /context/helpers into /helpers 2018-06-06 10:54:33 +02:00
Grégoire Henry
0ad85aca21 Shell/RPC: use GET request for /errors 2018-06-06 10:54:33 +02:00
Grégoire Henry
3783e43a2e Alpha/RPC: rename levels_in_cycle into levels_in_current_cycle 2018-06-06 10:54:33 +02:00
Grégoire Henry
7e8f4341d7 Alpha/RPC: regroups /context/helpers/scripts 2018-06-06 10:54:33 +02:00
Grégoire Henry
32e40ec19a Alpha/RPC: remove helpers/minimal_time 2018-06-06 10:54:33 +02:00
Grégoire Henry
0a78bbe33b Shell/RPC: use GET request for /workers 2018-06-06 10:54:33 +02:00
Grégoire Henry
64c464a73f Shell/RPC: some module renaming/aliasing 2018-06-06 10:54:33 +02:00
Grégoire Henry
2a93a336aa Shell/RPC: use query parameters in /injection 2018-06-06 10:54:33 +02:00
Grégoire Henry
9bc7b1e573 Shell/RPC: also list embedded protocols 2018-06-06 10:54:33 +02:00
Grégoire Henry
04c920df29 Shell/RPC: use query parameters in /protocols 2018-06-06 10:54:33 +02:00
Grégoire Henry
bbf5c7408b Shell/RPC: split out Monitor_services 2018-06-06 10:54:33 +02:00
Grégoire Henry
c175cd1c65 Shell/RPC: use query parameters for /p2p 2018-06-06 10:54:33 +02:00
Grégoire Henry
0b08dce3e8 Shell/RPC: move preapply_operation into Block_services 2018-06-06 10:54:33 +02:00
Grégoire Henry
9093e5c02d Alpha/RPC: minor RPC renaming 2018-06-06 10:54:33 +02:00
Grégoire Henry
b11a604d20 Alpha/RPC: more query parameters in /helpers 2018-06-06 10:54:33 +02:00
Grégoire Henry
482dbb116c Alpha/RPC: use query string for delegation rights 2018-06-06 10:54:33 +02:00
Grégoire Henry
7b758dbca8 Alpha/RPC: export various delegate data 2018-06-06 10:54:33 +02:00
Grégoire Henry
991846e716 Alpha/RPC: use GET requests for /contracts and /constants 2018-06-06 10:54:33 +02:00
Grégoire Henry
acc76d22a8 Alpha/Client: use block metadata 2018-06-06 10:54:33 +02:00
Grégoire Henry
d6f79edae2 Shell/RPC: rework /blocks 
- start using `GET` and query parameters instead of `POST`  when
  meaningful

- inline parsed protocol data and metadata in block headers

- inline parsed protocol data and metadata in operations

- split the RPC in four categories:

  - static data, available explicitly in block headers and operations

  - static "metadata", information that were computed while validating
    a block or an operation, but which are not explicit in the block
    header (e.g. the baker of a block, the list of internal
    transfer... (currently not implemented, but that's WIP))

  - "context" all the static data we may read in the context
    (contracts balance, list of delegates, ...)

  - "helpers" are some RPC that may perform some computation.
 2018-06-06 10:54:33 +02:00