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

Commit Graph

  • c867a4c4d4 Remove dune-project files Tom Jack 2019-09-09 13:59:08 -0700
  • d187317c32 move contracts galfour 2019-09-09 11:47:42 +0200
  • e0b5910627 Try to fix CI again Tom Jack 2019-09-07 13:52:00 -0700
  • 0fb37e9d3f adding list cons galfour 2019-09-08 12:34:29 +0200
  • cb1aa44ff4 moving stuff around galfour 2019-09-08 12:17:24 +0200
  • 7e44886252 Merge branch 'refactor/new-tezos-deps-cicliexe' into 'dev' Gabriel Alfour 2019-09-07 17:40:52 +0000
  • fef215cf16 Merge branch 'dev' into refactor/new-tezos-deps-cicliexe galfour 2019-09-07 19:04:36 +0200
  • dec2ffd2ed Merge branch 'feature/add-hashes' into 'dev' Gabriel Alfour 2019-09-07 17:04:07 +0000
  • d606ad8081 Merge branch 'dev' into refactor/new-tezos-deps-cicliexe galfour 2019-09-07 18:44:44 +0200
  • 3148bb29ad Merge branch 'feature/simplified-compiler' into 'dev' Gabriel Alfour 2019-09-07 16:43:23 +0000
  • 6713160530 add hashes and support for bytes galfour 2019-09-07 18:42:59 +0200
  • 25b07af6ae merge dev conflict galfour 2019-09-07 16:54:08 +0200
  • 61550c6c2f CI docker WIP Georges Dupéron 2019-09-07 14:30:24 +0200
  • fbcfe56df3 CI docker WIP Georges Dupéron 2019-09-07 14:25:32 +0200
  • 2918134c3b CI docker WIP Georges Dupéron 2019-09-07 14:21:02 +0200
  • cc1e142f25 CI docker WIP Georges Dupéron 2019-09-07 14:10:49 +0200
  • 41b2691f39 CI docker WIP Georges Dupéron 2019-09-07 14:08:35 +0200
  • d31001fab6 CI docker WIP Georges Dupéron 2019-09-07 13:30:46 +0200
  • 5c999a3f97 CI docker WIP Georges Dupéron 2019-09-07 13:24:30 +0200
  • 845fcb305d Merge branch 'refactor/new-tezos-deps-ci' into 'dev' Gabriel Alfour 2019-09-07 06:30:30 +0000
  • 644d90be6d Fix CI and Makefile (WIP) Georges Dupéron 2019-09-06 04:02:18 +0200
  • f831793fbd y e s s s galfour 2019-09-05 15:21:01 +0200
  • 32599ae90b removing tezos-modded galfour 2019-09-04 20:19:09 +0200
  • 4b4698d1f0 Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-08-29 17:27:36 +0200
  • 57b1d39b6e New contract in CameLIGO, based on the tutorial. (Not called from the CI.) Christian Rinderknecht 2019-08-29 17:25:35 +0200
  • 3f47bb2e85 Recording as miscellaneous the old way to do series of items. Christian Rinderknecht 2019-08-29 17:09:43 +0200
  • 95b2111a8b Left factoring of productions to get closer to LL. Christian Rinderknecht 2019-08-29 17:08:23 +0200
  • fbbff496c7 Cosmetics. Christian Rinderknecht 2019-08-29 17:07:23 +0200
  • f99bd0d1df More rewrites of the grammar for stream parsing. Fixed code in the internal documentation of PascaLIGO. Christian Rinderknecht 2019-08-29 17:06:16 +0200
  • 98e9596502 Merge branch 'shared_parser' into 'dev' Christian Rinderknecht 2019-08-29 14:54:06 +0000
  • b04a988a7e Separate parts of Pascaligo into a shared parser library Sander 2019-08-29 14:54:06 +0000
  • 0eb08f6a73 LetsEncrypt Challenge Gabriel Alfour 2019-08-22 22:31:18 +0000
  • faf3bbc061 Fix unpack_closure Tom Jack 2019-08-21 07:34:39 -0700
  • 7afa8a9cdb Test closures more Tom Jack 2019-08-21 07:34:34 -0700
  • 31a2a96810 fixed last bug galfour 2019-08-21 11:41:57 +0200
  • af588933f4 add closures galfour 2019-08-21 10:28:27 +0200
  • bd987613d5 This stuff is now unused Tom Jack 2019-08-20 16:19:31 -0700
  • 31591f1669 Comment out tests needing closure (TODO) Tom Jack 2019-08-20 16:19:11 -0700
  • d53f0058c6 Various compiler fixes Tom Jack 2019-08-20 16:19:00 -0700
  • de96a04681 simplifying compiler galfour 2019-08-20 22:51:16 +0200
  • 85c5630af4 Merge branch 'dev' into 'dev' John David Pressman 2019-08-12 11:17:41 +0000
  • 90eecb6b4c Merge branch 'dev' into 'dev' John David Pressman 2019-08-12 10:03:06 +0000
  • c8c6a574c6 Remove duplicate Tutorials button from the home page Matej Šima 2019-08-08 14:25:54 +0000
  • 97ab188149 Remove extraneous 'tutorials' and 'get started' buttons John David Pressman 2019-08-06 18:36:42 -0700
  • 695ae33483 Merge branch 'dev' into 'dev' John David Pressman 2019-08-06 23:43:05 +0000
  • 6e3ee8f5fa Remove undeleted merge conflict markers on homepage John David Pressman 2019-08-05 17:47:38 -0700
  • fddce3257a First draft of the PascaLIGO parser using streams. Christian Rinderknecht 2019-08-04 18:03:54 +0200
  • ce31bc2572 Fixes. Christian Rinderknecht 2019-08-04 18:02:56 +0200
  • 2b29eac11f Merge branch 'makefile' into 'dev' John David Pressman 2019-08-03 00:22:46 +0000
  • 9cc2a7a0c9 Remove uncleared merge conflict marks John David Pressman 2019-08-02 17:15:34 -0700
  • 0ad395a4ed Minor addition to last commit John David Pressman 2019-07-10 00:44:44 -0700
  • 4f7162002c Edit installation instructions to emphasize that Docker newbs should use the install script John David Pressman 2019-07-10 00:28:25 -0700
  • a891c77d47 Add updated instructions for running/building the website John David Pressman 2019-07-09 20:15:56 -0700
  • 8a2a1533c6 s/Annotations/Type Annotations/, to make it clearer what that feature is while skimming John David Pressman 2019-07-09 20:05:33 -0700
  • dc5e3328a2 Fix links to ligolang.org and Discord server at bottom of public launch post John David Pressman 2019-07-09 20:01:27 -0700
  • b023bff887 Add clarification on "dockerized LIGO" to taco shop tutorial John David Pressman 2019-07-09 19:53:29 -0700
  • 5c7d9fd551 Fix broken link to tutorials on front page of ligolang site John David Pressman 2019-07-09 19:27:01 -0700
  • ece3873230 Add how to get the time to the operators page John David Pressman 2019-07-09 19:13:33 -0700
  • 4ce51f7959 Add map assignment to cheat sheet John David Pressman 2019-07-09 18:18:59 -0700
  • afa0e749e3 Add boolean logic, fail() and if conditional to cheat sheet John David Pressman 2019-07-09 02:29:24 -0700
  • 6c818567fa Fixed comment. Christian Rinderknecht 2019-07-31 14:43:04 +0200
  • 5bc43fa430 Changed the definition of the compound constructs so they use "option". Christian Rinderknecht 2019-07-31 10:45:19 +0200
  • 50c99ff71d I added more transformations. Christian Rinderknecht 2019-07-31 10:19:24 +0200
  • 80fd970ba4 Merge branch 'rinderknecht-dev' into 'dev' Gabriel Alfour 2019-07-30 17:10:14 +0000
  • bf50102810 Fixed expressions annotated with types (they are now allowed everywhere). Christian Rinderknecht 2019-07-30 14:24:26 +0200
  • 6a0948a6ac Fixed regression. Enabled type annotations for all expressions (between parentheses). Christian Rinderknecht 2019-07-30 11:27:32 +0200
  • 9e6bff4741 Renamings. Additions. Christian Rinderknecht 2019-07-29 12:33:02 +0200
  • 25437f5ed5 Fixed some rules. Christian Rinderknecht 2019-07-29 12:31:10 +0200
  • 100bf1119a First rewrites of the PascaLIGO grammar to make it suitbale for stream parsing. Christian Rinderknecht 2019-07-26 17:47:16 +0200
  • 9b34b13e15 Replacing map_injection by injection(Map,binding). Christian Rinderknecht 2019-07-26 16:23:12 +0200
  • 295f94a09a Further streamlining PascaLIGO and Ligodity parsers. Christian Rinderknecht 2019-07-25 16:11:33 +0200
  • 2a44e0f084 Merge branch 'dev' into 'rinderknecht-dev' Christian Rinderknecht 2019-07-25 10:33:07 +0000
  • fe2c56aedb Miscellanea. Christian Rinderknecht 2019-07-24 15:43:51 +0200
  • dc4f14d469 Parsing the command line by calling [EvalOpt.read], not a side-effect. Christian Rinderknecht 2019-07-24 15:41:52 +0200
  • d2f4d00011 Refactored module EvalOpt by removing useless command line options. Christian Rinderknecht 2019-07-24 14:34:26 +0200
  • 8675c85b9c Merge branch 'FIX-typo-in-error-message-in-ast_simplified/combinator.ml' into 'dev' Georges Dupéron 2019-07-24 09:35:22 +0000
  • 7414893cd5 FIX - typo in error message in ast_simplified/combinator.ml Pierre-Emmanuel Wulfman 2019-07-24 09:35:22 +0000
  • 8a4d49fd21 Merge branch 'feature/better-error-messages' into 'dev' Gabriel Alfour 2019-07-21 18:47:33 +0000
  • 88261fd5e2 Merge branch 'dev' into feature/better-error-messages galfour 2019-07-21 11:58:09 +0200
  • 18f5601035 Merge branch 'feature/new-operators' into 'dev' Gabriel Alfour 2019-07-21 09:53:34 +0000
  • d7a16c47c1 add iterators for maps galfour 2019-07-20 16:42:34 +0200
  • 564a4df145 add map to lists ; fix error with lists galfour 2019-07-20 16:18:50 +0200
  • 9dd8e63cbf add iter for set and lists galfour 2019-07-20 13:46:42 +0200
  • 33101820ec add set tests galfour 2019-07-19 14:35:47 +0200
  • 5c3d801c78 add bitwise arithmetic and string arithmetic tests galfour 2019-07-19 12:42:01 +0200
  • 7b9d861a34 type new operators galfour 2019-07-19 12:13:09 +0200
  • 4b6a58907d get rid of useless units ; make compiler.ml less brittle galfour 2019-07-18 15:19:25 +0200
  • 25566bc3fe selection of environment can be done both ways galfour 2019-07-18 13:04:13 +0200
  • 685c25de9a First import of my first designs for a front-end generator for Ligodity. Christian Rinderknecht 2019-07-14 16:41:52 +0200
  • 68014c6e95 add blog post about update galfour 2019-07-11 15:20:58 +0200
  • 6e3209fa4f add manual tests; change display of errors; minor refactorings Galfour 2019-06-28 12:05:04 +0000
  • 6d3679290d Fixed typo in comment. Christian Rinderknecht 2019-06-27 10:32:07 +0200
  • 86396933a2 Merge branch 'feature/pascaligo-pattern-parens' into 'dev' Matej Šima 2019-06-24 17:26:56 +0000
  • 7492657790 Update Pascaligo parentheses in docs Tom Jack 2019-06-24 08:31:55 -0700
  • 2f6e17c837 I fixed the heterogeneity in parentheses around constructors in patterns. Christian Rinderknecht 2019-06-13 16:57:40 +0200
  • 4492117589 Merge branch 'bugfix/odoc-url' into 'dev' Georges Dupéron 2019-06-22 16:21:49 +0000
  • cba9c00ee5 Fixed link to /odoc Georges Dupéron 2019-06-22 17:41:35 +0200
  • 5f49d20fbb FIx missing images from payouts tutorial Matej Sima 2019-06-21 17:20:49 +0200
  • 01fe9669e4 Merge branch 'feature/tutorial-taco-shop-payouts' into 'dev' Matej Šima 2019-06-21 13:19:46 +0000
  • a5f9a6d27c Merge branch 'feature/hide-installation-from-master-for-now' into 'dev' Matej Šima 2019-06-21 12:47:14 +0000