Christian Rinderknecht
af8e9bd238
Added simplifications of Ligodity for lambdas, sequences and
...
conditionals.
Enabled in parser a type annotation on lambda parameter, and
lifted the existing type annotation in patterns to become that
type annotation.
2019-05-28 17:00:43 +02:00
Georges Dupéron
80c693a5af
Docker: don't clone ligo twice
2019-05-27 13:46:49 +02:00
Georges Dupéron
68e2fdd451
Deocker: launch the rewrite-repo script
2019-05-27 13:18:24 +02:00
Georges Dupéron
5a13789a11
cleanup
2019-05-27 13:11:57 +02:00
Georges Dupéron
0880fb0cbf
typo in sed script
2019-05-27 13:10:29 +02:00
Georges Dupéron
e1597f7629
docker: point to new URL
2019-05-27 12:43:12 +02:00
Georges Dupéron
f5e17bdefc
typo
2019-05-27 12:42:06 +02:00
Georges Dupéron
93574e81c0
rewrote ligo opam repository URLs and paths after merging the repos
2019-05-27 12:32:48 +02:00
Georges Dupéron
d444e635ae
Fixed path to script that was moved
2019-05-27 12:06:56 +02:00
Georges Dupéron
b3b87543ba
Place the local copy of ligo in a -generated folder
2019-05-27 11:57:29 +02:00
Georges Dupéron
44128ee7da
update url of ligo opam repository after merging the git repos
2019-05-27 11:57:26 +02:00
Georges Dupéron
681fe53dd6
Merge repository tezos-modded
2019-05-27 11:57:15 +02:00
Georges Dupéron
fd513af745
Merge repository ligo-utils
2019-05-27 11:56:53 +02:00
Georges Dupéron
28d3bc8c3f
Merge repository ligo-opam-repository
2019-05-27 11:54:29 +02:00
Georges Dupéron
870b998cc6
Removed submodules, will merge them with main repo
2019-05-27 11:52:49 +02:00
Georges Dupéron
d9756a048a
move before merging repositories (part 2)
2019-05-27 11:26:11 +02:00
Georges Dupéron
92482176eb
move before merging repositories
2019-05-27 11:18:48 +02:00
Georges Dupéron
7c8c6515b8
move before merging repositories
2019-05-27 11:08:26 +02:00
Georges Dupéron
335a878ff9
move before merging repositories (part 1)
2019-05-27 10:53:14 +02:00
Georges Dupéron
8f83e4f97b
Merge branch 'feature/#1-dockerfile-with-installation-script' into 'master'
...
Add a Dockerfile, installer.sh and ligo.sh for easy ligo usage with Docker
Closes #1
See merge request ligolang/ligo!1
2019-05-27 07:59:41 +00:00
Galfour
aaa7bc7de7
add MIT license
2019-05-25 15:52:12 +00:00
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
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
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
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
