Grégoire Henry
719b54ac1d
Client: use contextual completion
2016-11-16 00:53:40 +01:00
Grégoire Henry
d61220f4f9
Compiler: use explicit functor in Environment
...
Previously, the functor applications were hidden in a module generated
by `tezos-protocol-compiler`.
2016-11-16 00:53:40 +01:00
Grégoire Henry
b16a644e55
Proto: Completion of Base48-encoded public keys and contracts
...
This required some modifications in the Base48 module, in order not to
share the 'resolver' between distinct version of the economical protocol.
2016-11-16 00:53:40 +01:00
Grégoire Henry
1805a1d816
Shell: inline Ed25519 into Environment
...
This interface is not used in the shell, only in the protocol. It is
just a (documented) wrapper over a fragment of sodium.
2016-11-16 00:53:40 +01:00
Grégoire Henry
9062c405ad
Proto: minor fix in Storage.Key
2016-11-16 00:53:40 +01:00
Grégoire Henry
b82ad19806
Shell: Consistently use Ed25519.Public_key_hash
2016-11-16 00:53:40 +01:00
Grégoire Henry
69261aa542
Client: add command "complete".
2016-11-16 00:52:48 +01:00
Grégoire Henry
3f864ae113
Shell: display 12 characters for short Base48.
...
A full block/operation identifier is around 53 characters.
2016-11-16 00:52:48 +01:00
Grégoire Henry
1ce2643dc7
Shell: add Base48.decode_partial
2016-11-16 00:52:48 +01:00
Grégoire Henry
07ba685b8d
Base48: encode the "data" before its "hash"
2016-11-16 00:52:48 +01:00
Vincent Bernardoff
f7b149c9ed
Lwt_utils: fix read_mbytes
2016-11-16 00:45:52 +01:00
Vincent Bernardoff
8680d98ecd
P2p: force IPv6 in discovery
2016-11-16 00:45:52 +01:00
Vincent Bernardoff
23968b53e3
P2p: fix logging
2016-11-16 00:45:52 +01:00
Grégoire Henry
6121c518d4
Shell/P2p: do not read the tag twice...
2016-11-16 00:45:52 +01:00
Grégoire Henry
9d67c1fea5
Shell/P2p: remove Ping/Pong
2016-11-16 00:45:51 +01:00
Grégoire Henry
cfba0d9cb7
Shell/P2p: Use `Lwt_utils.{read/write}
2016-11-16 00:45:51 +01:00
Grégoire Henry
6afcc1ecdd
Shell/P2p: minor renaming.
2016-11-16 00:45:51 +01:00
Grégoire Henry
cbfab86f25
Shell: replace missing Netparams with Tezos_p2p
2016-11-16 00:45:51 +01:00
Grégoire Henry
450a0fec15
Shell: replace Netbits by Data_encoding
2016-11-16 00:45:51 +01:00
Grégoire Henry
5e26e1b9df
Shell: Introduce Lwt_utils.{read,write}_mbytes
2016-11-16 00:45:17 +01:00
Vincent Bernardoff
ff1c08f876
P2p: refactor the mli
2016-11-16 00:44:51 +01:00
Grégoire Henry
cbca39d4ea
Shell: proper handling of uint{8,16} in Data_encoding
2016-11-16 00:38:58 +01:00
Benjamin Canou
0e93a1dbde
Use latest ocplib-json-typed.
2016-11-09 11:40:01 +01:00
Benjamin Canou
6f2c880627
Update to the latest ocplib-json-typed.
2016-11-08 16:35:53 +01:00
Grégoire Henry
2371ad7135
Test: fix test_state.ml
2016-11-08 12:59:23 +01:00
Grégoire Henry
5cea09bcb5
Merge remote-tracking branch 'ocp/protocol-db'
2016-11-08 12:53:00 +01:00
Vincent Bernardoff
b869c264aa
tezos_node: add -verbosity
2016-11-08 12:45:14 +01:00
Vincent Bernardoff
f2e581c168
rolls: improve mli
2016-11-07 15:27:06 +01:00
Vincent Bernardoff
96b55369e4
typo: froze -> freeze
2016-11-07 15:26:54 +01:00
Vincent Bernardoff
668ebd7c5f
fix net-local-discovery
2016-11-07 15:25:44 +01:00
Vincent Bernardoff
7a1712756f
add protocol client commands
2016-10-25 19:03:14 +02:00
Vincent Bernardoff
0af5f6e7c3
tezos_compiler: changes
...
* Read TEZOS_PROTOCOL in json format
* Define Protocol module here
* Fix dependent modules to use Protocol defined here
* Compute hash of protocol if absent in TEZOS_PROTOCOL
2016-10-25 19:03:14 +02:00
Vincent Bernardoff
ccf6ed4a9d
TEZOS_PROTOCOL: use json syntax
2016-10-25 19:03:14 +02:00
Vincent Bernardoff
4fa77b1278
+ Utils.{finalize,read_file,write_file}
2016-10-25 19:03:14 +02:00
Vincent Bernardoff
f3b7299662
tezos-compiler: better arguments, add doc
2016-10-25 19:03:13 +02:00
Vincent Bernardoff
ec79241adb
reject invalid protocols
2016-10-25 19:03:13 +02:00
Vincent Bernardoff
488373551b
add protocol store + rpcs
2016-10-25 19:03:13 +02:00
Vincent Bernardoff
d11e44dead
hex_decode: better error reporting
2016-10-25 19:03:13 +02:00
arthur.breitman@gmail.com
1ac018188e
move tex sources to a new repo
2016-10-25 01:35:31 -07:00
Çağdaş Bozman
9834aa9d6c
Testsuite/Coverage: initial commit for code coverage
2016-10-24 14:05:24 +02:00
Vincent Bernardoff
ce54c5bc3d
netbits: read len as a uint16
2016-10-24 13:40:41 +02:00
Çağdaş Bozman
7b9e374058
CI: add rule for a new test
2016-10-20 16:21:36 +02:00
Grégoire Henry
cdf7265693
Testsuite: testing Data_encoding module
2016-10-20 16:21:36 +02:00
Grégoire Henry
026007e7f1
Rename "block_header" into "block".
2016-10-19 20:47:04 +02:00
arthur.breitman@gmail.com
c5fbd00dda
add tex sources for the papers
2016-10-16 16:35:49 -07:00
Grégoire Henry
6c9cfde9be
Update to the latest ocplib-resto.
2016-10-16 21:59:44 +02:00
Grégoire Henry
cbee2ecfe7
Test: improve report
2016-10-12 15:33:32 +02:00
Vincent Bernardoff
7dfb68b50a
create correct socket family given ip addr type
2016-10-10 19:11:59 +02:00
Vincent Bernardoff
8e02ddb1f6
do not crash on exns arising from network input
2016-10-10 15:37:33 +02:00
Vincent Bernardoff
cc83d8444b
add a safe mode for workers
2016-10-10 15:37:01 +02:00
