Georges Dupéron
|
ec706906f1
|
Added interface for the result of the type annotator.
|
2019-03-11 03:26:21 +01:00 |
|
Georges Dupéron
|
0fc4903ac2
|
Simplified the last expressions
|
2019-03-11 02:50:44 +01:00 |
|
Georges Dupéron
|
0028923f7d
|
Simplified more expressions
|
2019-03-11 02:36:25 +01:00 |
|
Georges Dupéron
|
2621d84c1c
|
Simplified more expressions
|
2019-03-11 02:30:26 +01:00 |
|
Georges Dupéron
|
56ede7c8a7
|
Simplified more
|
2019-03-11 02:22:25 +01:00 |
|
Georges Dupéron
|
74518a1768
|
AST2: Declarations can now be written in any order. Removed top-level block.
|
2019-03-11 01:57:07 +01:00 |
|
Georges Dupéron
|
97b576b564
|
Removed global parameter declaration and added entrypoint in AST2
|
2019-03-11 00:52:10 +01:00 |
|
Georges Dupéron
|
31309562d9
|
Simplified some expressions
|
2019-03-11 00:52:10 +01:00 |
|
Georges Dupéron
|
d547616caa
|
Temporarily reverted cleanup which prevented GIT from properly merging.
|
2019-03-11 00:52:10 +01:00 |
|
Christian Rinderknecht
|
8746802571
|
Storage and operations are now explicitly named.
Refactoring of AST to enable the detection of incomplete pattern
matchings by the OCaml compiler. Some record fields renamed for
better readability.
|
2019-03-10 19:41:27 +01:00 |
|
Christian Rinderknecht
|
7dcad4779e
|
I added entrypoints (and removed the parameter declaration).
I fixed the pretty-printing of strings.
|
2019-03-10 13:55:24 +01:00 |
|
Christian Rinderknecht
|
0b5932f986
|
Removed the looping visitor.
|
2019-03-10 13:37:03 +01:00 |
|
Christian Rinderknecht
|
b3a283d8b8
|
Merge branch 'master' of gitlab.com:gabriel.alfour/ligo-parser
|
2019-03-10 12:53:52 +01:00 |
|
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 |
|