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 |
|
Galfour
|
1029f42aac
|
minor renamings
|
2019-05-15 18:28:25 +00:00 |
|
Galfour
|
7a5130f51f
|
remove environments from mini_c
|
2019-05-15 18:16:28 +00:00 |
|
Georges Dupéron
|
d433dd85fc
|
Add module aliases and dependencies
|
2019-05-15 17:21:12 +02:00 |
|
Georges Dupéron
|
da87f9ca86
|
Add implicit open of Simple_utils in ligodity
|
2019-05-15 17:10:57 +02:00 |
|
Georges Dupéron
|
8821e6c01e
|
Rewrite local opam repository into a different folder and .gitignore it
|
2019-05-15 16:45:37 +02:00 |
|
Georges Dupéron
|
2b4eaa29d1
|
Rewrite local opam repository into a different folder
|
2019-05-15 16:44:45 +02:00 |
|
Georges Dupéron
|
834cc8c072
|
Missing stuff in gitlab-ci
|
2019-05-15 16:35:46 +02:00 |
|
Christian Rinderknecht
|
c60329ef78
|
Fixed the build (which I broke, sorry).
|
2019-05-15 16:05:03 +02:00 |
|