balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,264 Commits 2 Branches 0 Tags 65 MiB
40f2d41b13
Commit Graph

5264 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Grégoire Henry
a3379065ea
Distributed_db: fix concurency issue on Peer_validator creation 2019-03-06 10:35:54 +01:00
Your Name
6c3d6ceb18 Added opam commands to .gitlab-ci.yml 2019-03-06 10:33:09 +01:00
Your Name
43ebc969ec GitLab does not have a sudo command 2019-03-06 10:26:21 +01:00
Your Name
ebf382093e Typo in .gitlab-ci.yml 2019-03-06 10:21:23 +01:00
Your Name
20052c843a Simplification of the AST. expr and pattern are not implemented yet. 2019-03-06 10:16:01 +01:00
Your Name
d89483f04d First version of GitLab CI configuration 2019-03-06 10:16:01 +01:00
Your Name
172986bc03 weird bug 2019-03-06 10:16:01 +01:00
Your Name
9d2efe74e5 Merge branch 'thread-type-parameter-experiment' into HEAD 2019-03-06 10:15:29 +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
Your Name
00ff4bc322 Revert "Threaded 'a parameter everywhere" 
This reverts commit 40377a80df.
 2019-03-05 21:00:48 +01:00
Your Name
b5f7779a68 Revert "Renamed the extensibility type parameter to 'x so that it can easily be grepped for." 
This reverts commit fb85ea1f18.
 2019-03-05 21:00:48 +01:00
Your Name
78629b6652 Revert "WIP…" 
This reverts commit 9b9760f052.
 2019-03-05 21:00:47 +01:00
Your Name
a6585b6e91 Revert "Does not work" 
This reverts commit cbf565d4c0.
 2019-03-05 21:00:44 +01:00
Your Name
cbf565d4c0 Does not work 2019-03-05 20:41:58 +01:00
Your Name
9b9760f052 WIP… 2019-03-05 20:37:48 +01:00
Your Name
fb85ea1f18 Renamed the extensibility type parameter to 'x so that it can easily be grepped for. 
Review this commit with:

    git diff --color-words=.
 2019-03-05 18:19:20 +01:00
Your Name
40377a80df Threaded 'a parameter everywhere 2019-03-05 18:17:57 +01: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
Your Name
ec6cefb1ff Forgot a file in the previous commit… 2019-03-05 15:23:34 +01:00
Your Name
32c024cf4f Made the Verwion.ml more resistant. 
Now in most conditions it should produce the correct commit number or
an error in the rare case where a dune clean is needed.
 2019-03-05 15:18:38 +01:00
Your Name
9b1cdab3d2 Put back the full hash and -dirty in Verson.ml 2019-03-05 15:00:34 +01:00
Christian Rinderknecht
ee8ff6ce41
Small refactoring. 2019-03-07 12:24:57 +01:00
Christian Rinderknecht
c0f541a803 Escaped invalid characters before printing lexical error message. 2019-03-06 17:26:28 +01:00
Your Name
61575e13ea Merge commit '45d18f7' 2019-03-05 11:15:02 +01:00
Your Name
629bb48b8f Used records everywhere instead of objects. 2019-03-05 09:53:58 +01:00
Your Name
26eafdf87e tmp, compiles 2019-03-04 13:18:55 +01:00
Your Name
0cb43cff8b Transformation of the printer into a visitor: first part (this compiles) 2019-03-01 19:58:04 +01:00
Your Name
30cf888734 Started work on the typechecker. 2019-03-01 18:54:41 +01:00
Your Name
bbd590bc49 Propper dependency on .git/HEAD and .git/refs/heads/the_current_branch to regenerate Version.ml. Will not update correctly if a git worktree or its main .git are moved, in these cases use dune clean. 2019-03-01 18:49:25 +01:00
Your Name
15d5f2485d Hack to get propper dune dependencies for Version.ml 2019-03-01 17:59:58 +01:00
Your Name
0909650814 tmp 2019-03-01 17:53:52 +01:00
Christian Rinderknecht
45d18f7b12
Added instruction 'fail'. I changed the grammar and AST for local functions and removed global mutable variables. 2019-02-28 15:46:34 +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
Grégoire Henry
33a7ca51c3
Client: Use Host in HTTP requests 
and add proper error message when the node refuses connection for
unallowed origin (CORS).
 2019-02-26 12:00:37 +01:00