4c833fc7a3add one cameligo test
Galfour
2019-06-12 18:41:29 +0000
69f867edeeMerge branch 'feature/auto-detect-syntax' into 'dev'
Matej Šima
2019-06-12 13:23:52 +0000
c2d7678f9aMerge branch 'feature/dry-run-bin' into 'dev'
Matej Šima
2019-06-12 09:18:54 +0000
461b0ff331cd folder
Georges Dupéron
2019-06-12 11:09:21 +0200
044e2fac7fMove odoc to the right folder
Georges Dupéron
2019-06-12 10:26:58 +0200
b0408fdcd9move internal documentation at the end, otherwise npm deletes it it seems.
Georges Dupéron
2019-06-10 23:09:34 +0200
91648d24b7Merge branch 'georges-tutorial' into 'dev'
Georges Dupéron
2019-06-12 00:27:46 +0000
0af274a3a4Tutorial for the trace monad, bind operator (>>?) and ppx_let
Georges Dupéron
2019-06-01 19:54:09 +0200
d6fc9c79f3Merge branch 'rinderknecht-dev' into 'dev'
Georges Dupéron
2019-06-11 23:42:21 +0000
fdfb00b7a6Distinguish parameter and storage arguments in --help
Georges Dupéron
2019-06-12 01:28:38 +0200
6bb5a0f731Auto-detect syntax based on file extension
Georges Dupéron
2019-06-10 22:16:08 +0200
a75c0ac061fix dry-run ; add features to the bin
Galfour
2019-06-11 17:57:07 +0000
582e95f9a8Enabled user-defined constant constructors in expressions.
Christian Rinderknecht
2019-06-11 17:10:27 +0200
23da509c11Merge branch 'feature/#14-website-prerelease-fixes' into 'dev'
Matej Šima
2019-06-11 10:50:10 +0000
15ab06bb66Added a lot of docs
Matej Sima
2019-06-11 03:37:12 +0200
8c934a6fd8more operators in the pipeline
Galfour
2019-06-11 00:52:09 +0000
b512bf31bbadd more operators
Galfour
2019-06-10 22:06:00 +0000
3f8b3fef87Merge branch 'feature/dry-run-bin' into dev
Galfour
2019-06-10 22:09:20 +0000
7b9e3b6699add dry-run to the bin commands
Galfour
2019-06-10 22:08:56 +0000
3583d067ccMerge branch '8-reporting-of-error-messages' into 'dev'
Georges Dupéron
2019-06-10 20:22:29 +0000
08f1e368deMerge remote-tracking branch 'origin/georges-bash-security-and-error-detection' into feature/#3-add-odoc-to-website
Georges Dupéron
2019-06-10 21:42:37 +0200
6a85e5d422Add cameligo sample, minor menu css fixes, added discord link
Matej Sima
2019-06-10 20:15:14 +0200
37c2152fcaFixed the regression introducted by the previous commit (disallowing empty lists).
Christian Rinderknecht
2019-06-10 19:59:22 +0200
50b8413fceAdd content to the website team section
Matej Sima
2019-06-10 19:30:54 +0200
835cc785dcMerge branch 'feature/dry-run-bin' into 'dev'
Matej Šima
2019-06-10 17:04:45 +0000
938fec3e46Use "next" instead of "latest"
Georges Dupéron
2019-06-10 19:02:49 +0200
8019b647a5Typos
Georges Dupéron
2019-06-10 19:00:49 +0200
53314c2c0cRemoved "assert" as reserved. Enabled terminating ";" in lists.
Christian Rinderknecht
2019-06-10 15:19:42 +0200
985eff44a9more keywords ; add support for sets ; remove assert from keywords
Galfour
2019-06-10 09:58:16 +0000
24f52a13a1missing chmod
Georges Dupéron
2019-06-05 20:15:21 +0200
e6994cd2d9typo
Georges Dupéron
2019-06-01 14:41:17 +0200
c47daad439Use sh, not bash
Georges Dupéron
2019-05-28 20:54:37 +0200
47409db7dbStarted 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
Georges Dupéron
2019-05-28 20:54:07 +0200
fae35a1f42sh does not recognize set -euET -o pipefail, only a subset of those options. Use bash for now.
Georges Dupéron
2019-05-27 22:05:05 +0200
17b413faeeSecurity aspects for shell scripts (well, an attempt at that)
Georges Dupéron
2019-05-27 22:00:09 +0200
a729ec95b4Add tuareg to dev switch setup
John David Pressman
2019-06-09 22:03:08 -0700
f4fc06ce72some more operators
Galfour
2019-06-10 01:41:02 +0000
9fd0206e9fMerge branch '8-reporting-of-error-messages' into 'dev'
Gabriel Alfour
2019-06-09 23:06:52 +0000
10461764fbadd dry-run in cli
Galfour
2019-06-09 12:08:37 +0000
623290d66dDelete unused build scripts
John David Pressman
2019-06-08 23:53:43 -0700
8b60b8597fAdd execution permission to test ligo script
John David Pressman
2019-06-08 22:30:49 -0700
8e715f17a7Swap makefile-native test command with script, add script
John David Pressman
2019-06-08 21:57:46 -0700
540bf1d550Use hopefully valid syntax with test if conditional
John David Pressman
2019-06-08 21:20:33 -0700
77b743f0e1Try adding failure case message to makefile test
John David Pressman
2019-06-08 21:13:59 -0700
c30244a4e4Add a second test conditional to stop double-execution of make scripts
John David Pressman
2019-06-08 20:11:29 -0700
30700aefd4Try shell if syntax in makefile
John David Pressman
2019-06-08 19:04:59 -0700
8c8f1c4577Try moving oneshell invocation
John David Pressman
2019-06-08 18:27:30 -0700
7413ac22d6Add oneshell to makefile and fix filename bug in build env script
John David Pressman
2019-06-08 15:19:47 -0700
512044c52bChange first if conditional so upgrade q only asked if opam installed
John David Pressman
2019-06-08 14:19:07 -0700
1592da58b7Fix typos breaking first if conditional, syntax error
John David Pressman
2019-06-08 12:13:06 -0700
0575176939Make build env script more robust, take it out of makefile
John David Pressman
2019-06-08 12:03:53 -0700
efb480a449Fix typos/miscalls, minor tweaks
John David Pressman
2019-06-08 01:57:32 -0700
a1a61e64f9Add execution permissions to new build scripts
John David Pressman
2019-06-07 22:25:34 -0700
e157e0527bChange makefile to use preexisting setup scripts for docker and add new ones
John David Pressman
2019-06-07 22:16:55 -0700
ed418bae71Add temporary build environment setup script
John David Pressman
2019-06-07 22:01:23 -0700
b2ec459b08Added types for mligo map instructions
Georges Dupéron
2019-06-07 15:16:24 +0200
4d121602ebMerge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
Christian Rinderknecht
2019-06-07 12:48:33 +0200
a8e344c24eAdded test for Matej.
Christian Rinderknecht
2019-06-07 12:48:21 +0200
8d86f4ba5ctemporarily build docs on feature/#3-add-odoc-to-website branch
Georges Dupéron
2019-06-07 12:24:16 +0200
ef243fb203Add navbar link for odoc
Matej Sima
2019-06-07 12:13:08 +0200
b36f497f85add odoc to Ci
Georges Dupéron
2019-06-07 11:56:03 +0200
743098ecbdadded test calling a function with ligo
Georges Dupéron
2019-06-07 01:17:33 +0200
3999e46ac5Merge branch 'feature/12-blog-tutorials-visual-tweaks' into 'dev'
Matej Šima
2019-06-07 09:03:56 +0000
07f3df7e07Merge branch 'georges-dupéron-diacritic' into 'dev'
Christian Rinderknecht
2019-06-07 08:42:36 +0000