Christian Rinderknecht
|
53314c2c0c
|
Removed "assert" as reserved. Enabled terminating ";" in lists.
|
2019-06-10 15:19:42 +02:00 |
|
Galfour
|
985eff44a9
|
more keywords ; add support for sets ; remove assert from keywords
|
2019-06-10 09:58:16 +00:00 |
|
Georges Dupéron
|
24f52a13a1
|
missing chmod
|
2019-06-10 10:23:18 +02:00 |
|
Georges Dupéron
|
e6994cd2d9
|
typo
|
2019-06-10 10:23:18 +02:00 |
|
Georges Dupéron
|
c47daad439
|
Use sh, not bash
|
2019-06-10 10:23:18 +02:00 |
|
Georges Dupéron
|
47409db7db
|
Started using the scripts/… in .gitignore, started a Makefile for one-liners to be used by the devs, e.g. make build-deps, make, make test
|
2019-06-10 10:19:49 +02:00 |
|
Georges Dupéron
|
fae35a1f42
|
sh does not recognize set -euET -o pipefail, only a subset of those options. Use bash for now.
|
2019-06-10 10:19:49 +02:00 |
|
Georges Dupéron
|
17b413faee
|
Security aspects for shell scripts (well, an attempt at that)
|
2019-06-10 10:19:49 +02:00 |
|
John David Pressman
|
a729ec95b4
|
Add tuareg to dev switch setup
|
2019-06-09 22:03:08 -07:00 |
|
Galfour
|
f4fc06ce72
|
some more operators
|
2019-06-10 01:41:02 +00:00 |
|
Gabriel Alfour
|
9fd0206e9f
|
Merge branch '8-reporting-of-error-messages' into 'dev'
Reporting of error messages, integration tests
See merge request ligolang/ligo!18
|
2019-06-09 23:06:52 +00:00 |
|
Galfour
|
10461764fb
|
add dry-run in cli
|
2019-06-09 12:08:37 +00:00 |
|
John David Pressman
|
623290d66d
|
Delete unused build scripts
|
2019-06-08 23:53:43 -07:00 |
|
John David Pressman
|
8b60b8597f
|
Add execution permission to test ligo script
|
2019-06-08 22:30:49 -07:00 |
|
John David Pressman
|
8e715f17a7
|
Swap makefile-native test command with script, add script
|
2019-06-08 21:57:46 -07:00 |
|
John David Pressman
|
540bf1d550
|
Use hopefully valid syntax with test if conditional
|
2019-06-08 21:20:33 -07:00 |
|
John David Pressman
|
77b743f0e1
|
Try adding failure case message to makefile test
|
2019-06-08 21:13:59 -07:00 |
|
John David Pressman
|
c30244a4e4
|
Add a second test conditional to stop double-execution of make scripts
|
2019-06-08 20:11:29 -07:00 |
|
John David Pressman
|
30700aefd4
|
Try shell if syntax in makefile
|
2019-06-08 19:04:59 -07:00 |
|
John David Pressman
|
8c8f1c4577
|
Try moving oneshell invocation
|
2019-06-08 18:27:30 -07:00 |
|
John David Pressman
|
7413ac22d6
|
Add oneshell to makefile and fix filename bug in build env script
|
2019-06-08 15:19:47 -07:00 |
|
John David Pressman
|
512044c52b
|
Change first if conditional so upgrade q only asked if opam installed
|
2019-06-08 14:19:07 -07:00 |
|
John David Pressman
|
1592da58b7
|
Fix typos breaking first if conditional, syntax error
|
2019-06-08 12:13:06 -07:00 |
|
John David Pressman
|
0575176939
|
Make build env script more robust, take it out of makefile
|
2019-06-08 12:03:53 -07:00 |
|
John David Pressman
|
efb480a449
|
Fix typos/miscalls, minor tweaks
|
2019-06-08 01:57:32 -07:00 |
|
John David Pressman
|
a1a61e64f9
|
Add execution permissions to new build scripts
|
2019-06-07 22:25:34 -07:00 |
|
John David Pressman
|
e157e0527b
|
Change makefile to use preexisting setup scripts for docker and add new ones
|
2019-06-07 22:16:55 -07:00 |
|
John David Pressman
|
ed418bae71
|
Add temporary build environment setup script
|
2019-06-07 22:01:23 -07:00 |
|
Georges Dupéron
|
b2ec459b08
|
Added types for mligo map instructions
|
2019-06-07 15:16:48 +02:00 |
|
Christian Rinderknecht
|
4d121602eb
|
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
|
2019-06-07 12:48:33 +02:00 |
|
Christian Rinderknecht
|
a8e344c24e
|
Added test for Matej.
|
2019-06-07 12:48:21 +02:00 |
|
Georges Dupéron
|
8d86f4ba5c
|
temporarily build docs on feature/#3-add-odoc-to-website branch
|
2019-06-07 12:24:16 +02:00 |
|
Matej Sima
|
ef243fb203
|
Add navbar link for odoc
|
2019-06-07 12:13:08 +02:00 |
|
Georges Dupéron
|
b36f497f85
|
add odoc to Ci
|
2019-06-07 11:56:03 +02:00 |
|
Georges Dupéron
|
743098ecbd
|
added test calling a function with ligo
|
2019-06-07 11:19:56 +02:00 |
|
Matej Šima
|
3999e46ac5
|
Merge branch 'feature/12-blog-tutorials-visual-tweaks' into 'dev'
Add Blog, Tutorials & visual tweaks, fix minor installation guide issue
See merge request ligolang/ligo!21
|
2019-06-07 09:03:56 +00:00 |
|
Christian Rinderknecht
|
07f3df7e07
|
Merge branch 'georges-dupéron-diacritic' into 'dev'
diacritic in my name
See merge request ligolang/ligo!16
|
2019-06-07 08:42:36 +00:00 |
|
Galfour
|
346a6fdbc4
|
hide compiler errors; fix ligodity's over-eager tuplification
|
2019-06-06 21:06:33 +00:00 |
|
Galfour
|
a4f895882f
|
more error messages; various fixes
|
2019-06-06 20:49:36 +00:00 |
|
Georges Dupéron
|
0e36d63ec4
|
more tests, improved error messages
|
2019-06-06 20:58:08 +02:00 |
|
Matej Sima
|
3b2e3e2596
|
Add Blog, Tutorials & visual tweaks, fix minor installation guide issue
|
2019-06-06 19:51:38 +02:00 |
|
Galfour
|
1aff86d464
|
Merge branch 'dev' into 8-reporting-of-error-messages
|
2019-06-06 17:37:49 +00:00 |
|
Galfour
|
0fea1c6d78
|
improve bin pretty printing of errors
|
2019-06-06 17:37:46 +00:00 |
|
Matej Šima
|
4479bd9bae
|
Merge branch 'feature/11-configure-versioned-docs' into 'dev'
#11 configure versioned docs
See merge request ligolang/ligo!20
|
2019-06-06 17:13:15 +00:00 |
|
Christian Rinderknecht
|
bff14309e4
|
Predefined values for Ligodity. Added a few more tests for Ligodity.
|
2019-06-06 18:40:05 +02:00 |
|
Matej Sima
|
b9a94bab72
|
Update installer to handle master & dev scripts accordingly
|
2019-06-06 18:28:00 +02:00 |
|
Matej Sima
|
44ecc0a133
|
Cleanup before merging
|
2019-06-06 17:59:03 +02:00 |
|
Matej Sima
|
12d4f5d0b9
|
Remove unnecessary scripts from webpage build
|
2019-06-06 17:08:23 +02:00 |
|
Matej Sima
|
c15f950a1a
|
debug ci
|
2019-06-06 17:03:30 +02:00 |
|
Matej Sima
|
35cd5791a5
|
Fix website build errror
|
2019-06-06 16:59:05 +02:00 |
|