balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 44ecc0a133 Cleanup before merging Matej Sima 2019-06-06 17:59:03 +0200
  • 12d4f5d0b9 Remove unnecessary scripts from webpage build Matej Sima 2019-06-06 17:08:23 +0200
  • c15f950a1a debug ci Matej Sima 2019-06-06 17:03:30 +0200
  • 35cd5791a5 Fix website build errror Matej Sima 2019-06-06 16:59:05 +0200
  • 91c5eb694e Get rid of the mock version again in favor of persisting 'next' Matej Sima 2019-06-06 16:54:08 +0200
  • a75b16037f Added a 'mock' version for docs due to technical reasons Matej Sima 2019-06-06 16:53:00 +0200
  • c0cc9c76dc Add updated installation guide, restructure docs Matej Sima 2019-06-06 16:49:47 +0200
  • 0e6a3f6721 Update website versioning workflow Matej Sima 2019-06-06 15:45:45 +0200
  • 153bf69199 Merge branch 'lets-encrypt-tmp' into 'master' Gabriel Alfour 2019-06-06 12:58:13 +0000
  • 14ffc481af letsencrypt challenges Galfour 2019-06-06 12:07:30 +0000
  • 019d4311ab binary hotfix Galfour 2019-06-06 09:30:29 +0000
  • dbe4282659 missing files in failwith and guess_string tests, oops. Georges Dupéron 2019-06-05 20:06:20 +0200
  • 0da69d1a16 diacritic in my name Georges Dupéron 2019-06-05 19:48:51 +0200
  • 08626f749c "Guess the string" contract Georges Dupéron 2019-06-05 19:18:16 +0200
  • a0624614ee expect_eq_n: also test 1 (to check the cases 0, 1, many) Georges Dupéron 2019-06-05 19:20:32 +0200
  • 02785aa754 Added failwith to camligo Georges Dupéron 2019-06-05 19:19:44 +0200
  • da4e3e5b80 improved --help docs Georges Dupéron 2019-06-05 19:17:42 +0200
  • 347774e42b Improved error messages Georges Dupéron 2019-06-05 19:16:54 +0200
  • 0e01353c7d Finished upgrading the error reporting for Pascaligo. Christian Rinderknecht 2019-06-05 17:51:06 +0200
  • 0e82c183ec Update CI config to create & deploy 'next' version of docs Matej Sima 2019-06-05 16:46:00 +0200
  • e0228f352c fix build (my bad) Georges Dupéron 2019-06-05 14:26:01 +0200
  • 64e848b2de structured errors for ast_typed/misc.ml Georges Dupéron 2019-06-05 11:48:33 +0200
  • 24db060dae Use internal_assertion_fail instead of the simple_error that are just assertions Georges Dupéron 2019-06-05 11:38:59 +0200
  • 1750895a65 removed simple_fail from ast_typed/misc.ml Georges Dupéron 2019-06-05 01:24:48 +0200
  • e62178cee6 Merge branch '8-reporting-of-error-messages' into dev Galfour 2019-06-05 07:45:13 +0000
  • 1ccaef23fb Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages Galfour 2019-06-05 06:43:45 +0000
  • 1fa727061b add test hierarchy Galfour 2019-06-05 06:43:33 +0000
  • 358b2fda83 Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages Christian Rinderknecht 2019-06-04 16:12:39 +0200
  • 97dd2db4b8 I forbade local entry points in Pascaligo (meaningless). Christian Rinderknecht 2019-06-04 16:12:17 +0200
  • 22f930b531 locations in error messages in typer.ml where possible Georges Dupéron 2019-06-04 14:24:24 +0200
  • 8562586bbd Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages Christian Rinderknecht 2019-06-04 13:45:26 +0200
  • 4f60f23769 Finished changing the error reporting. Christian Rinderknecht 2019-06-04 13:45:21 +0200
  • b701315ac6 Merge branch 'feature/#9-add-contributor-docs' into 'dev' Gabriel Alfour 2019-06-04 10:52:56 +0000
  • 44d6f31a1d Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages Galfour 2019-06-04 08:21:24 +0000
  • 388c5e6a09 errorm messages for the transpiler Galfour 2019-06-04 08:21:13 +0000
  • 987d65f227 Structured error messages for typer (still needs to print srclocs) Georges Dupéron 2019-06-04 03:27:29 +0200
  • fd3460c890 Added more newly styled error message triggering. Christian Rinderknecht 2019-06-03 19:23:40 +0200
  • 8ada684e34 More structured errors Georges Dupéron 2019-06-03 19:00:00 +0200
  • ed9a398480 Merge branch 'feature/#10-website-visual-overhaul' into feature/#9-add-contributor-docs Matej Sima 2019-06-03 18:55:06 +0200
  • 1b9e5cd7e6 Migrate contributors docs from google docs Matej Sima 2019-06-03 18:48:54 +0200
  • 08cacccaa4 Add Team & Partners, visual tweaks Matej Sima 2019-06-03 18:16:05 +0200
  • eee4367df9 More structured errors Georges Dupéron 2019-06-03 17:50:00 +0200
  • 963507ddc0 Fixed the "end of stream" in the Ligodity parser. Started replacing new error reporting in ligodity.ml. Christian Rinderknecht 2019-06-03 17:43:25 +0200
  • c2643f5b4c Use structured errors in typer Georges Dupéron 2019-06-03 16:09:31 +0200
  • 0e484f5bc1 Started matching errors in typechecker Georges Dupéron 2019-06-03 14:56:11 +0200
  • 0e17e8b274 minor fixes Galfour 2019-06-03 12:23:46 +0000
  • b65c9ca67f fix cli Galfour 2019-06-03 11:07:24 +0000
  • 8c81432281 modify trace; oldify multifix Galfour 2019-06-03 10:33:13 +0000
  • 0f6f02328a Add a contributors docs subfolder & docs website config Matej Sima 2019-06-03 11:20:32 +0200
  • 30e55b4a12 Cleanup redundant files Matej Sima 2019-06-03 11:12:05 +0200
  • ff50c920d7 Add environmental variable setter to make test John David Pressman 2019-06-01 20:07:16 -0700
  • c16c85f1de Add execution privileges to build.sh John David Pressman 2019-06-01 20:04:46 -0700
  • 51e231d71b Merge branch '2-support-for-cameligo-in-the-binary' into 'dev' Gabriel Alfour 2019-06-01 13:49:27 +0000
  • df063ad180 Merge branch 'dev' into 2-support-for-cameligo-in-the-binary Galfour 2019-06-01 12:58:39 +0000
  • c322b1cd13 Merge branch 'georges-ligo-remote-master-only' into 'dev' Gabriel Alfour 2019-06-01 12:40:01 +0000
  • a7298dc16d fix cli.ml Galfour 2019-06-01 11:51:49 +0000
  • 8789004f43 build the remote-repo job only on master Georges Dupéron 2019-05-28 18:41:18 +0200
  • 6febd855c4 fix ligodity; add it to the bin; add source locations; merge Galfour 2019-06-01 11:29:31 +0000
  • f951161884 Move build.sh after emacs accidentally wrote it back in /src/ John David Pressman 2019-06-01 03:36:10 -0700
  • d88beae3d4 Add environmental variables to make build John David Pressman 2019-06-01 02:24:59 -0700
  • b604c3badf Undo addition of source command to makefile build-deps John David Pressman 2019-06-01 02:06:44 -0700
  • 8d6f19ac6c very unstable state Galfour 2019-06-01 08:37:43 +0000
  • 0537d9e333 Remove question from opam user-setup installation, attempt to set opam env vars John David Pressman 2019-05-31 23:44:48 -0700
  • 1a8ced68af Add execution permissions to shell scripts John David Pressman 2019-05-31 22:52:20 -0700
  • afa2722456 Change directory of make files John David Pressman 2019-05-31 22:32:23 -0700
  • 533913fd36 Tweak make scripts based on observations in virtual machine John David Pressman 2019-05-31 21:09:08 -0700
  • 849b91157f Add rough draft of makefile to experiment with John David Pressman 2019-05-31 20:51:23 -0700
  • 055bee804e fix ligodity issues Galfour 2019-05-31 22:03:06 +0000
  • 320d0c1a72 various refactorings to prepare tests; tests for ligodity don't pass Galfour 2019-05-31 19:56:51 +0000
  • 009b0331e9 add cameligo to the cli Galfour 2019-05-29 22:09:40 +0000
  • 79af0abab3 propagate source-code locations to ast_typed Galfour 2019-05-28 17:02:40 +0000
  • 5b42d72e41 propagate source code locations from ligodity Galfour 2019-05-28 16:34:53 +0000
  • 79b88ab4ba Merge branch 'master' of gitlab.com:ligolang/ligo Galfour 2019-05-28 15:47:29 +0000
  • 9059c3c2f1 Merge branch 'rinderknecht-dev' into 'master' Gabriel Alfour 2019-05-28 15:47:16 +0000
  • c32ace3afc propagate source code locations Galfour 2019-05-28 15:36:14 +0000
  • af8e9bd238 Added simplifications of Ligodity for lambdas, sequences and conditionals. Christian Rinderknecht 2019-05-28 17:00:43 +0200
  • 50868302c6 minor rewriting; add docs Galfour 2019-05-28 10:46:22 +0000
  • b5f9a13001 Merge branch 'feature/#1-dockerfile-with-installation-script' into 'master' Georges Dupéron 2019-05-27 19:41:25 +0000
  • d83d8a5449 Add only 'master' to docker image deployment job Matej Sima 2019-05-27 18:47:10 +0200
  • c7853aa2d5 Merge branch 'master' of gitlab.com:ligolang/ligo into feature/#1-dockerfile-with-installation-script Matej Sima 2019-05-27 18:35:52 +0200
  • efa3255c0c Fix leftover debug URL Matej Sima 2019-05-27 18:10:58 +0200
  • b5f175f6c1 Add pulling of the docker image used by the CLI wrapper, nicer comments & messages Matej Sima 2019-05-27 18:10:25 +0200
  • dfa7932fe8 Moved build job for gitlab-pages into the main .gitlab-ci.yml Georges Dupéron 2019-05-27 17:06:18 +0200
  • 15d1e0e580 Update paths to from gabriel.alfour to ligolang, add example ligo run with --help Matej Sima 2019-05-27 18:04:26 +0200
  • 81a22846c1 Rename CI stages Matej Sima 2019-05-27 18:00:46 +0200
  • 32150e79a5 Bring back non-publishing docker build Matej Sima 2019-05-27 17:36:08 +0200
  • 3f4eff7ac7 Remove redundant job dependency on CI Matej Sima 2019-05-27 16:49:19 +0200
  • 871fae2bf1 Rename post_script to after_script Matej Sima 2019-05-27 16:41:59 +0200
  • 866bf7b552 Remove image caching as artifacts due to size limitations, introduce separate master / feature jobs instead Matej Sima 2019-05-27 16:31:57 +0200
  • 76027dea9c Rename CI variables for docker build & deploy Matej Sima 2019-05-27 15:07:55 +0200
  • 002a320b4c Change artifact name for built docker image Matej Sima 2019-05-27 14:37:02 +0200
  • a4ee2007d0 Persist docker image as an artifact Matej Sima 2019-05-27 14:09:13 +0200
  • 214044942b Remove redundant quotes from docker login CI command Matej Sima 2019-05-27 13:11:00 +0200
  • d423fa8e84 Add 'latest' tag to the built docker image Matej Sima 2019-05-27 12:50:11 +0200
  • f6a3404172 Update CI variable for docker registry url Matej Sima 2019-05-27 12:43:56 +0200
  • f5da4b8a88 Swap CI stages for temporary docker testing Matej Sima 2019-05-27 12:21:01 +0200
  • 5feba725cb Refactor docker image structure & CI Matej Sima 2019-05-27 12:06:56 +0200
  • cdf6d16a66 Merge repository ligolang.gitlab.io Georges Dupéron 2019-05-27 17:03:19 +0200
  • ffe4d1b66d move before merging repositories Georges Dupéron 2019-05-27 16:56:47 +0200
  • 80c693a5af Docker: don't clone ligo twice Georges Dupéron 2019-05-27 13:46:49 +0200