balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
3,630 Commits 2 Branches 0 Tags 65 MiB
ac449d2cb3
Commit Graph

3630 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Your Name
25356c5695 Configured GitLab CI 2019-03-09 01:45:57 +01:00
Your Name
c439786440 gitlab-ci fix… 2019-03-09 01:07:35 +01:00
Your Name
31c6a33c49 gitlab-ci fix… 2019-03-09 00:48:33 +01:00
Your Name
a7e06efddb gitlab-ci fix… 2019-03-08 23:40:36 +01:00
Your Name
178224c734 gitlab-ci fix… 2019-03-08 23:32:06 +01:00
Christian Rinderknecht
ad2b3cb1f9 Merge branch 'master' of gitlab.com:gabriel.alfour/ligo-parser 2019-03-08 22:05:41 +01:00
Your Name
bccbeb352e gitlab-ci fix… 2019-03-08 22:03:31 +01:00
Christian Rinderknecht
00a255aa9e
Changed the line comments to start with "//". The list constructor is now "#". 2019-03-08 16:06:50 +01:00
Christian Rinderknecht
09f790680f
I extended the grammar with optional semicolons and vertical bars. 2019-03-07 17:06:02 +01: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
Your Name
bcb9992921 gitlab-ci fix… 2019-03-06 10:43:44 +01:00
Your Name
89d22c3be8 gitlab-ci fix… 2019-03-06 10:37:53 +01:00
Pierre Boutillier
7e4a70fac8
Remove peer from active_peers when Peer_validator.create has failed 2019-03-06 10:35:55 +01:00
Your Name
5fea21359c gitlab-ci fix… 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
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