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
Christian Rinderknecht
3d9775edb3
More rewrites. [Still not compiling.]
2019-05-15 16:05:03 +02:00
Christian Rinderknecht
af8d1083b7
Eased the translation from Ligodity AST to Liquidity AST.
...
More precisely,
* I commented out the operator "@" on lists in Ligodity (it can
be implemented as a function, as a workaround).
* I removed the parallel "let" construct (hence the "and" keyword).
* I renamed the type "field_assignment" into "field_assign", in
order to match Pascaligo AST.
* The reading of the command-line options is now done by
calling the function [EvalOpt.read], instead of an ugly
side-effect when loading the binary of the module. Options
are now found in a record of type [EvalOpt.options].
* I added support in the Ligodity lexer for #include CPP
directives.
2019-05-15 16:05:03 +02:00
Christian Rinderknecht
fdf7704a7c
Fixed the type for ECall.
2019-05-15 16:05:03 +02:00
