Georges Dupéron
984fa24ca6
Installation seems to work using README_INSTALL
2019-03-25 17:16:46 +01:00
Georges Dupéron
1ec945fa4b
Installation commands (temporary)
2019-03-25 14:38:06 +01:00
Georges Dupéron
afca07d888
This version of OCaml (4.06.1 with dune/opam) seems to not like shadowing vs. open
...
The shadowing worked fine with a standalone ocaml 4.07.1 (no dune or opam use)
2019-03-25 14:38:06 +01:00
Georges Dupéron
3cb9a311ee
Disable git commit in Version.ml for now
...
It does not work well with opam install, especially if the dune file is not at the root of the repository.
2019-03-25 14:38:06 +01:00
Georges Dupéron
f614c692d1
Initial import of Rope library
2019-03-25 14:38:06 +01:00
Galfour
f08b0e155b
fixed tezos-utils.opam
2019-03-25 07:48:43 +00:00
Galfour
7ba31d4d7d
introspection
2019-03-24 18:53:20 +00:00
Galfour
47c8e96e95
more basic structure
2019-03-24 17:35:43 +00:00
Galfour
ccd4a17aac
pipeline works
2019-03-23 13:47:18 +00:00
Galfour
ecefa598f7
ez run main
2019-03-23 12:48:20 +00:00
Galfour
9adbbb34bc
pipeline ok
2019-03-23 10:52:25 +00:00
Galfour
0ffd3d4b64
tmp
2019-03-22 20:08:37 +00:00
Galfour
66974949b2
first working example of the whole pipeline
2019-03-21 21:37:44 +00:00
Galfour
0975f71059
tmp
2019-03-21 14:53:09 +00:00
Galfour
8819422542
pre big modif
2019-03-20 22:04:39 +00:00
Galfour
d23c49920c
tmp
2019-03-20 17:25:32 +00:00
Galfour
a9f88e3ddf
tmp
2019-03-20 17:06:12 +00:00
Galfour
1918bc00d1
tmp
2019-03-20 14:54:30 +00:00
Galfour
fa4b570950
translations from typed-ligo to mini-c
2019-03-14 18:22:51 +00:00
Galfour
7cc6a681b1
add ligo-parser
2019-03-13 21:04:02 +00:00
Galfour
84dbf1f7ee
add ligo
...
remove old lib_ligo
modified ligo opam
2019-03-13 14:17:19 +00:00
Galfour
ff48226748
add ligo-helpers
...
moved helpers
modified ligo-helpers opam
2019-03-13 14:14:45 +00:00
Galfour
c449a76841
add meta-michelson
...
moved meta-michelson
modified meta-michelson
2019-03-13 14:11:55 +00:00
Galfour
b197c30299
modify proto-alpha
2019-03-13 11:56:49 +00:00
Galfour
4b4c450b9a
add tezos-utils
2019-03-13 11:12:15 +00:00
Galfour
cd86fea0e2
add memory-protocol-alpha
2019-03-13 10:26:29 +00:00
Elliot Cameron
6ce10791b0
Ledger: add deauth APDU support, better get-authorized-key support, and friendlier CLI
2019-03-06 16:05:23 +00:00
Grégoire Henry
c842ef6a2d
Opam: fix protocol packaging
2019-03-06 15:25:56 +01:00
Pierre Boutillier
7e4a70fac8
Remove peer from active_peers when Peer_validator.create has failed
2019-03-06 10:35:55 +01:00
Grégoire Henry
3e2172b2dd
Distributed_db: don't fail when receiving a notification for a closing worker
2019-03-06 10:35:55 +01:00
Grégoire Henry
a3379065ea
Distributed_db: fix concurency issue on Peer_validator creation
2019-03-06 10:35:54 +01:00
Benjamin Canou
eba7f5ac8c
Dune: fix dune.inc for added file in proto demo
2019-03-06 00:42:06 +01:00
Grégoire Henry
0796b0355a
CI: test that the various dune.inc are up-to-date
2019-03-05 22:45:21 +00:00
Grégoire Henry
28f680ab91
Dune: remove src in proto_*/lib_protocol
2019-03-05 22:45:21 +00:00
Grégoire Henry
c3dd98dc0f
Dune: do not use the infamous "OCaml syntax" anymore
...
In the process, we merged the two opam file and the functorized
version now properly reads `TEZOS_PROTOCOL`.
2019-03-05 22:45:21 +00:00
Grégoire Henry
f9cbdf9110
docker: improve argument passing
2019-03-05 22:33:00 +00:00
Grégoire Henry
b7c2546e5b
Daemon: await_bootstrapped_node now retries on Connection_failed
...
This allows the baker/endorser/accuser to wait a litlle bit for the
node to initialize itself and to open its RPC port.
By default, the deamon retries 6 times with a total waiting time
around 20 seconds, before to fail.
2019-03-05 17:33:02 +01:00
Marco Stronati
32a1d2647c
Opam: remove unused dependencies from alpha-{baker,endorser,accuser}
2019-02-28 13:05:19 +01:00
Grégoire Henry
9abcd0e55f
P2p: change configuration of P2p_maintenance
...
It feels more coherent not to configure `P2p_pool` with parameters
only for `P2p_maintenance`.
2019-02-28 13:45:11 +08:00
Sebastien Mondet
10c37f153d
Make 2-min sleep configurable (P2p_maintenance)
2019-02-28 13:45:05 +08:00
Grégoire Henry
35727d4ac3
Clic: stop being colorless.
...
Writing keyword in `white` was a bad idea for people using a
black-on-white terminal...
This patch replace `white` by the default color for keywords (it
preserves the underline). This does not change the color for
white-on-block terminal (where `white` is the default color), but fix
the issue for all terminals with a clear background
2019-02-28 13:44:46 +08:00
Lý Kim Quyên
e4a5d3c45c
test for check point
2019-02-28 05:32:07 +00:00
Pierre Boutillier
d7ba8bb07d
Resto: Fix #480 : Keep the host: set by the user with TEZOS_SIGNER_HTTP_HEADERS
...
This is a fixup of 21bb9436371741a8cf643cfc6218ace9ebfecc19
2019-02-27 15:42:37 +00:00
Pierre Boutillier
b4b97dada3
Fix identity.json preservation in docker images after a reset
2019-02-27 11:02:26 +01:00
Grégoire Henry
c80ab66397
Shell: improve termination
...
Kill the `DistributedDB` before anything else.
2019-02-26 12:11:09 +01:00
Grégoire Henry
359f2d6932
P2p: improve cancelation in maintenance
2019-02-26 12:11:08 +01:00
Grégoire Henry
07595c9e1f
P2p: improve cancelation
...
Pending connections were not easily interuptible.
2019-02-26 12:11:07 +01:00
Grégoire Henry
4adf696c65
P2p: improve logging level
2019-02-26 12:11:04 +01:00
Raphaël Proust
d29f426b8e
Fix some typos in Michelson specifications
2019-02-26 12:07:03 +01:00
Ivan Gromakovskii
d649975494
Fix some typos in the Michelson specification
...
1. `MEM` operates on a value and a set, so `v` is there by mistake.
2. Description of `SET_CDR` was copy-pasted from description of `SET_CAR`.
3. It's not clear where that `p` comes from, seems to be copy-pasted
by mistake.
2019-02-26 12:07:00 +01:00
