Commit Graph

4570 Commits

Author SHA1 Message Date
Christian Rinderknecht
28b84e1e65 Fixed the translation of let-in. 2019-05-24 19:31:39 +02:00
Christian Rinderknecht
533c801c10 Cosmetics. 2019-05-24 19:31:03 +02:00
Matej Sima
7d404f4376 Minor landing page content updates 2019-05-24 15:16:38 +02:00
Georges Dupéron
a0936d8eb5 Moved repository to ligolang namespace 2019-05-24 11:36:39 +02:00
Georges Dupéron
3fc0dce84a Moved repository to ligolang namespace 2019-05-24 11:28:52 +02:00
Georges Dupéron
556b4e48ee Moved repository to ligolang namespace 2019-05-24 11:28:52 +02:00
Georges Dupéron
c1f0743cb0 Moved repository to ligolang namespace 2019-05-24 11:28:52 +02:00
Gabriel Alfour
7689b0691c set baseUrl back to root 2019-05-24 06:48:15 +00:00
Gabriel Alfour
c17e56aa38 add trailing '/' 2019-05-24 06:36:00 +00:00
Gabriel Alfour
6233164af9 Try setting up baseUrl 2019-05-24 06:30:47 +00:00
Matej Sima
a3e9af0e20 Extract before_script into a template that's not used for the docker build job 2019-05-24 00:48:11 +02:00
Matej Sima
c7130e592b Update docker configuration for CI 2019-05-24 00:40:04 +02:00
Matej Sima
98d0d3ef4a Remove the base docker:latest image from CI 2019-05-24 00:28:54 +02:00
Matej Sima
7c747b72e1 Configure docker-in-docker for CI 2019-05-24 00:25:48 +02:00
Matej Sima
c1910629e9 Remove Makefile, Add docker build command to the CI config 2019-05-24 00:13:31 +02:00
Matej Sima
c9703bdceb Add a Dockerfile, installer.sh and ligo.sh for easy ligo usage with Docker 2019-05-23 23:06:15 +02:00
Matej Šima
a2d1b6067e Add LICENSE 2019-05-23 18:50:56 +00:00
Matej Sima
ccd32d34f8 Actually fixing the site path this time for the CI 2019-05-23 20:27:36 +02:00
Matej Sima
80ca440997 Fix site path when building docs 2019-05-23 20:22:25 +02:00
Matej Sima
9eb90e6200 Move the CI config one directory up where it belongs 2019-05-23 20:17:31 +02:00
Matej Sima
f664320d2f Add CI config for docusuarus deployment 2019-05-23 20:14:08 +02:00
Galfour
0b6f0e03be add basic doc in operators/operators.ml 2019-05-23 15:43:30 +00:00
Galfour
a852f4997c rewrote operators 2019-05-23 12:16:12 +00:00
Galfour
6ee5aff962 merge and fix 2019-05-23 07:49:06 +00:00
Galfour
c69c98c7fa Merge branch 'master' of gitlab.com:gabriel.alfour/ligo 2019-05-23 06:49:21 +00:00
Galfour
c085dae123 remove annotations from ast_simplified; make annotation expression explicit; locally very limited propagation of constraints in binding cases 2019-05-23 06:22:58 +00:00
Christian Rinderknecht
193febc83e Merge branch 'master' of gitlab.com:gabriel.alfour/ligo 2019-05-22 19:38:40 +02:00
Christian Rinderknecht
24a1068dd4
Refactoring of the parser and AST so "let" constructs bind
exactly one variable. (Unfinished)

Fixed minor error in error printing in Lexer.

Added test in ParseMain.ml on --verbose=parser.
2019-05-22 19:38:09 +02:00
Galfour
9d873c382b remove statements from everywhere (very atomic commit) 2019-05-22 00:46:59 +00:00
Christian Rinderknecht
331b11dcca
Refactored the AST and fixed the symlinks. 2019-05-20 21:42:11 +02:00
Galfour
46d07c55ea remove statements from mini_c 2019-05-20 16:26:55 +00:00
Galfour
2a091edbc0 transpile to mini_c expressions 2019-05-20 16:17:26 +00:00
Galfour
e48a5fde28 preparing removal of statements in Mini_c 2019-05-20 08:38:38 +00:00
Galfour
2dd7e2668c merge 2019-05-17 17:55:46 +00:00
Galfour
97adaad836 preparations for statements removal 2019-05-17 17:36:57 +00:00
Georges Dupéron
c773fe61ce revert let_in as lambda and add let_in 2019-05-17 19:14:00 +02:00
Galfour
ccdbd5bbd0 fix 2019-05-17 16:18:03 +00:00
Galfour
a94bf665f3 Merge branch 'master' of gitlab.com:gabriel.alfour/ligo 2019-05-17 16:06:57 +00:00
Galfour
21f09da759 remove environment from transpilation of expressions 2019-05-17 16:03:41 +00:00
Christian Rinderknecht
6028cd9abd
I enabled constant data constructors. I added more to the documentation. 2019-05-17 16:29:22 +02:00
Christian Rinderknecht
90a9e1a783 In the process of optimising immediate applications as let-in [Broken]. 2019-05-16 18:17:27 +02:00
Christian Rinderknecht
e0fcfee2a3 Use different push and pull URLs for submodules 2019-05-16 15:38:40 +02:00
Christian Rinderknecht
cc706fc225 Gardening. 2019-05-16 15:28:28 +02:00
Christian Rinderknecht
5fd234c8c8 Removed unused src/bin_node. 2019-05-16 15:21:46 +02:00
Christian Rinderknecht
044f4dfa59 Removed unused src/bin_node. 2019-05-16 15:21:05 +02:00
Christian Rinderknecht
3c46b99202 Merge branch 'master' of gitlab.com:gabriel.alfour/ligo 2019-05-16 10:58:29 +02:00
Christian Rinderknecht
37c9d1ff64
Added mini-documentation of internals. Fixing links after change of
git repository.
2019-05-16 10:18:05 +02:00
Galfour
4e76b5344d add last expressions in mini_c 2019-05-16 08:12:53 +00:00
Galfour
32ecf8cfca add expression constructions to mini_c 2019-05-15 22:00:18 +00:00
Galfour
df1916a1b9 normalizing renaming 2019-05-15 21:05:09 +00:00