Commit Graph

3286 Commits

Author SHA1 Message Date
Matej Sima
a4ee2007d0 Persist docker image as an artifact 2019-05-27 17:45:10 +02:00
Matej Sima
214044942b Remove redundant quotes from docker login CI command 2019-05-27 17:45:10 +02:00
Matej Sima
d423fa8e84 Add 'latest' tag to the built docker image 2019-05-27 17:43:39 +02:00
Matej Sima
f6a3404172 Update CI variable for docker registry url 2019-05-27 17:43:39 +02:00
Matej Sima
f5da4b8a88 Swap CI stages for temporary docker testing 2019-05-27 17:43:39 +02:00
Matej Sima
5feba725cb Refactor docker image structure & CI 2019-05-27 17:43:39 +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