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 |
|
Matej Sima
|
3b8a13f156
|
Update website CI to include hidden files as well (e.g. .well-known for let's encrypt)
|
2019-05-25 18:03:45 +02:00 |
|
Galfour
|
aaa7bc7de7
|
add MIT license
|
2019-05-25 15:52:12 +00:00 |
|
Galfour
|
4916777de1
|
ssl proof for letsencrypt
|
2019-05-24 23:33:38 +00:00 |
|
Gabriel Alfour
|
3d3d405de4
|
Update WGV0obljaNL8BZUUnJ2-_wChzAw6cR9l9gleWmPOtCQ
|
2019-05-24 23:20:33 +00:00 |
|
Gabriel Alfour
|
9cccb71025
|
Add new file
|
2019-05-24 23:04:29 +00:00 |
|
Gabriel Alfour
|
c2ed199c9f
|
Update siteConfig.js
|
2019-05-24 20:39:08 +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 |
|
Matej Sima
|
7d404f4376
|
Minor landing page content updates
|
2019-05-24 15:16:38 +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 |
|
Gabriel Alfour
|
7689b0691c
|
set baseUrl back to root
|
2019-05-24 06:48:15 +00:00 |
|
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 |
|