Galfour
055bee804e
fix ligodity issues
2019-05-31 22:03:06 +00:00
Galfour
320d0c1a72
various refactorings to prepare tests; tests for ligodity don't pass
2019-05-31 19:56:51 +00:00
Galfour
009b0331e9
add cameligo to the cli
2019-05-29 22:13:04 +00:00
Galfour
79af0abab3
propagate source-code locations to ast_typed
2019-05-28 17:02:40 +00:00
Galfour
5b42d72e41
propagate source code locations from ligodity
2019-05-28 16:34:53 +00:00
Galfour
79b88ab4ba
Merge branch 'master' of gitlab.com:ligolang/ligo
2019-05-28 15:47:29 +00:00
Gabriel Alfour
9059c3c2f1
Merge branch 'rinderknecht-dev' into 'master'
...
Added simplifications of Ligodity for lambdas, sequences and conditionals.
See merge request ligolang/ligo!5
2019-05-28 15:47:16 +00:00
Galfour
c32ace3afc
propagate source code locations
2019-05-28 15:36:14 +00:00
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
Galfour
50868302c6
minor rewriting; add docs
2019-05-28 10:46:22 +00:00
Georges Dupéron
b5f9a13001
Merge branch 'feature/#1-dockerfile-with-installation-script' into 'master'
...
Feature/#1 dockerfile with installation script
See merge request ligolang/ligo!3
2019-05-27 19:41:25 +00:00
Matej Sima
d83d8a5449
Add only 'master' to docker image deployment job
2019-05-27 18:47:10 +02:00
Matej Sima
c7853aa2d5
Merge branch 'master' of gitlab.com:ligolang/ligo into feature/#1-dockerfile-with-installation-script
...
# Conflicts:
# .gitlab-ci.yml
2019-05-27 18:35:52 +02:00
Matej Sima
efa3255c0c
Fix leftover debug URL
2019-05-27 18:10:58 +02:00
Matej Sima
b5f175f6c1
Add pulling of the docker image used by the CLI wrapper, nicer comments & messages
2019-05-27 18:10:25 +02:00
Georges Dupéron
dfa7932fe8
Moved build job for gitlab-pages into the main .gitlab-ci.yml
2019-05-27 18:07:11 +02:00
Matej Sima
15d1e0e580
Update paths to from gabriel.alfour to ligolang, add example ligo run with --help
2019-05-27 18:04:26 +02:00
Matej Sima
81a22846c1
Rename CI stages
2019-05-27 18:00:46 +02:00
Matej Sima
32150e79a5
Bring back non-publishing docker build
2019-05-27 17:46:51 +02:00
Matej Sima
3f4eff7ac7
Remove redundant job dependency on CI
2019-05-27 17:46:28 +02:00
Matej Sima
871fae2bf1
Rename post_script to after_script
2019-05-27 17:46:28 +02:00
Matej Sima
866bf7b552
Remove image caching as artifacts due to size limitations, introduce separate master / feature jobs instead
2019-05-27 17:46:28 +02:00
Matej Sima
76027dea9c
Rename CI variables for docker build & deploy
2019-05-27 17:45:44 +02:00
Matej Sima
002a320b4c
Change artifact name for built docker image
2019-05-27 17:45:10 +02:00
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
cdf6d16a66
Merge repository ligolang.gitlab.io
2019-05-27 17:03:19 +02:00
Georges Dupéron
ffe4d1b66d
move before merging repositories
2019-05-27 16:56:47 +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
