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

Commit Graph

  • 8f799321d6 Add string concatenation support to CameLIGO John David Pressman 2019-10-21 15:46:26 -0700
  • 312dc65950 Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-10-21 21:42:52 +0200
  • 97f2a44a24 Merge branch 'feature/pascaligo-expr-fun' into 'dev' John David Pressman 2019-10-20 08:46:15 +0000
  • 09230df60a Remove kwd_expr John David Pressman 2019-10-19 10:55:39 -0700
  • daad15c57d Write blockless function test and make it pass John David Pressman 2019-10-19 10:46:24 -0700
  • ec67d37f20 Gabriel wants to see the code John David Pressman 2019-10-19 09:11:18 -0700
  • 6e0173a9a7 Fix type error when where blockfun types eat regions John David Pressman 2019-10-18 17:46:20 -0700
  • 6b55bf3630 cleaning Lesenechal Remi 2019-10-18 14:47:04 +0200
  • 85fe8d2018 using the proper entry point in the test.. Lesenechal Remi 2019-10-18 14:42:36 +0200
  • 080b25a3bd WIP: add test. still have two ECond implementation, none of them pass the test Lesenechal Remi 2019-10-18 14:32:58 +0200
  • d95f345dbf First attempt at adding conditionals as expressions. Christian Rinderknecht 2019-10-18 13:41:02 +0200
  • ee826877be Merge branch 'feature/gitignore-vscode' into 'dev' Rémi Lesenechal 2019-10-18 15:41:59 +0000
  • bec3419936 cleaning Lesenechal Remi 2019-10-18 14:47:04 +0200
  • 71548f8c7c using the proper entry point in the test.. Lesenechal Remi 2019-10-18 14:42:36 +0200
  • b721a19b00 WIP: add test. still have two ECond implementation, none of them pass the test Lesenechal Remi 2019-10-18 14:32:58 +0200
  • 704c744ace First attempt at adding conditionals as expressions. Christian Rinderknecht 2019-10-18 13:41:02 +0200
  • 62e6b1d469 Merge branch 'feature/babylon' into 'dev' Gabriel Alfour 2019-10-18 07:56:36 +0000
  • 2bffba379d Remove anonymous records John David Pressman 2019-10-17 22:34:38 -0700
  • 35a59a0867 Add parser tokens, guru meditation on why the AST types don't work John David Pressman 2019-10-17 21:33:45 -0700
  • 8997155a57 Rough draft of single-expr function syntax John David Pressman 2019-10-17 20:50:41 -0700
  • 60600a90fd Merge branch 'rinderknecht-dev' into 'dev' John David Pressman 2019-10-17 17:28:05 +0000
  • e53d4035d0 Removed corner case that could not be triggered in PascaLIGO simplifier. Christian Rinderknecht 2019-10-17 18:46:40 +0200
  • 36d9858e97 Removed sub-blocks from PascaLIGO. Christian Rinderknecht 2019-10-17 18:33:58 +0200
  • b60ce38b68 commenting back Lesenechal Remi 2019-10-17 17:33:43 +0200
  • c9bcfc3ab0 higher order function test, pass two closure one calling the other as function arg Lesenechal Remi 2019-10-17 17:33:29 +0200
  • 9f0b61659e we don't need to check for closures in function arguments Lesenechal Remi 2019-10-17 17:18:10 +0200
  • 27be6cfcba use apply for closures galfour 2019-10-17 16:34:02 +0200
  • 8a4b9695e7 use dig/dug for get/set galfour 2019-10-17 15:48:24 +0200
  • 9a0847cb9b Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-10-17 11:02:14 +0000
  • 56269231b3 upgrade to babylon galfour 2019-10-17 11:45:27 +0200
  • 81ab0267f5 cleanup Suzanne Dupéron 2019-10-16 22:19:32 -0400
  • 00016d09bb I removed the definition of procedures. Christian Rinderknecht 2019-10-16 15:39:08 +0200
  • 1299ecac6b Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-10-16 12:00:40 +0200
  • 157e24ff08 Fixed documentation. Christian Rinderknecht 2019-10-16 11:50:31 +0200
  • 15937a2459 Bug fixing in the AST pretty-printer and new syntax for iterators. Christian Rinderknecht 2019-10-16 01:11:54 +0200
  • 27564426da Bug fixes and finished AST pretty-printer. Christian Rinderknecht 2019-10-15 21:03:46 +0200
  • e497af2313 Merge branch 'docs/ligo-test-guide' into 'dev' Christian Rinderknecht 2019-10-15 16:33:37 +0000
  • b80f16eb34 Merge branch 'feature/pascaligo-set-deep-rm' into 'dev' John David Pressman 2019-10-15 14:47:17 +0000
  • a00a83b0da Update ligo_test_guide.md Christian Rinderknecht 2019-10-15 08:29:11 +0000
  • de020aa289 Update ligo_test_guide.md Christian Rinderknecht 2019-10-15 08:26:14 +0000
  • decd00de2a Add revised ligo test guide John David Pressman 2019-10-14 18:13:18 -0700
  • 4d4b8ba786 Merge branch 'gardening/code-comments' into 'dev' John David Pressman 2019-10-15 00:09:45 +0000
  • 6f5e88c93c Make failing deep set removal test pass John David Pressman 2019-10-14 16:04:48 -0700
  • 0b8c0dad3f Add failing deep set removal test to contracts John David Pressman 2019-10-14 15:48:20 -0700
  • 8a9a72b673 Merge branch 'dev' of gitlab.com:ligolang/ligo into gardening/code-comments John David Pressman 2019-10-14 16:31:57 -0700
  • 79afad5bc7 Merge branch 'feature/pascaligo-map-patch' into 'dev' Tom Jack 2019-10-14 22:49:17 +0000
  • ed69c858a8 Use right folds Tom Jack 2019-10-14 14:05:35 -0500
  • c4babe60d8 Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/pascaligo-map-patch John David Pressman 2019-10-14 11:34:26 -0700
  • 93b5a068b5 Add deep map patch test John David Pressman 2019-10-14 10:19:18 -0700
  • 8c12a0ea31 git ingore .vscode Lesenechal Remi 2019-10-14 17:45:52 +0200
  • 89971f31d0 Forgot to commit the change in the simplifier. Christian Rinderknecht 2019-10-13 20:15:50 +0200
  • f634d36b76 Refactorings for PascaLIGO. Christian Rinderknecht 2019-10-13 19:51:01 +0200
  • f795f1216a Bug fixing in the lexers and the parser. Started AST pretty-printer. Christian Rinderknecht 2019-10-12 23:42:26 +0200
  • d7baebdb2f Merge branch 'feature/pascaligo-set-patch' into 'dev' Christian Rinderknecht 2019-10-12 20:35:14 +0000
  • b304772928 Change set patch to use left fold John David Pressman 2019-10-12 12:38:05 -0700
  • 9d133338c0 Merge branch 'tez-div-tez' into 'dev' Gabriel Alfour 2019-10-12 02:09:45 +0000
  • 5070ded5b9 Add complex path traversal to map patch John David Pressman 2019-10-11 17:26:28 -0700
  • 3d053cd073 Refactor map patch so that it uses fewer assignments John David Pressman 2019-10-11 15:44:16 -0700
  • 38f9b0ba0b tests build (but fail when running, as expected) Suzanne Dupéron 2019-10-11 17:22:43 -0400
  • 3bbb8bfd8b Fixed merge issues with new merge of dev Suzanne Dupéron 2019-10-11 17:01:28 -0400
  • 5a58559edc Merge remote-tracking branch 'origin/dev' into HEAD Suzanne Dupéron 2019-10-11 16:59:45 -0400
  • c2a3fd473c Fix test Tom Jack 2019-10-11 15:27:41 -0500
  • b64f82dff7 Add failing test Tom Jack 2019-10-11 15:24:40 -0500
  • 62377135c4 Add empty map patch test John David Pressman 2019-10-11 13:23:29 -0700
  • c5361c57d4 Simplify a bit Tom Jack 2019-10-11 15:10:08 -0500
  • e672d10029 Expose tez mod tez, too Tom Jack 2019-10-11 14:54:22 -0500
  • d947f3b462 Change set patch to chain calls and only use one assignment John David Pressman 2019-10-11 12:38:00 -0700
  • d87d0aab73 Expose tez/tez division Tom Jack 2019-10-11 14:35:23 -0500
  • 9e2c057edb dune build passes, but not dune build @ligo-test. Threaded the typechecker's state in a bunch of places where it's likely not needed, because I don't know which parts are entrypoints and which parts are intermediate functions, and the role of the state between program fragments is not yet 100% clear to me. Suzanne Dupéron 2019-10-11 15:21:21 -0400
  • 58b8e537e4 Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/pascaligo-set-patch John David Pressman 2019-10-11 09:02:45 -0700
  • d6badf030c Merge branch 'delete-vestigial-local-repo' into 'dev' Tom Jack 2019-10-11 15:12:07 +0000
  • 047065f8ee Delete vestigial local repo stuff Tom Jack 2019-10-11 15:12:07 +0000
  • f06161ea42 Merge branch 'feature/dry-run-sender-source' into 'dev' Tom Jack 2019-10-11 15:09:16 +0000
  • 1356159281 WIP on integrating typer with the bin / CLI, fixed last API change Suzanne Dupéron 2019-10-11 04:08:12 -0400
  • 039d82a18f Merge branch 'feature/LIGO-27-improve-packaging-and-distribution' into 'dev' Tom Jack 2019-10-11 02:26:03 +0000
  • 49ffe00466 Remove unsupported_map_patch error in PascaLIGO simplifier John David Pressman 2019-10-10 18:35:39 -0700
  • c181ec1cac Upload rough draft of map patch functionality with test John David Pressman 2019-10-10 18:26:28 -0700
  • 0de17f4b57 Add empty set patches, add test for empty set patches John David Pressman 2019-10-10 13:35:38 -0700
  • 2a39aa2949 Revert "Builds (commented out a few issues, just to check that there are no compilation errors left)" Suzanne Dupéron 2019-10-10 03:55:15 -0400
  • 581babb459 Builds (commented out a few issues, just to check that there are no compilation errors left) Suzanne Dupéron 2019-10-10 03:55:08 -0400
  • acfbd7eb15 Nearly builds, only one small API change and integration errors left Suzanne Dupéron 2019-10-10 03:52:43 -0400
  • c82076281f Add test for set patch functionality John David Pressman 2019-10-09 23:13:25 -0700
  • 4fa54dd2c1 More progress on merging new typer and new dev Suzanne Dupéron 2019-10-10 01:23:55 -0400
  • 2f60c85aa8 Add rough draft of set patch functionality John David Pressman 2019-10-09 17:08:58 -0700
  • dfe6f144bb Merge branch 'feature/unsupported-deep-map-ops' into 'dev' Rémi Lesenechal 2019-10-09 19:57:17 +0000
  • e8afba9581 Accept fake values for SENDER/SOURCE in dry-run Tom Jack 2019-09-27 11:33:32 -0500
  • cbaac2d124 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-10-09 16:18:04 +0000
  • bcf73d01bf Printing of tokens from the AST is now done in a Buffer.t Christian Rinderknecht 2019-10-09 16:07:13 +0200
  • 8c29dc6df3 cleaning (using name return by simpl_path which is equivalent) Lesenechal Remi 2019-10-08 18:20:32 +0200
  • 54662db2f6 use simpl_projection to build accessor Lesenechal Remi 2019-10-08 18:02:43 +0200
  • d59cd771c9 fix unsupported deep_map assignements and remove. add tests Lesenechal Remi 2019-10-08 16:41:47 +0200
  • 5de98259dc Trying to merge new typer and new dev Suzanne Dupéron 2019-10-09 00:51:29 -0400
  • a0461d0622 Renamed Suzanne Dupéron 2019-10-08 18:46:55 -0400
  • f990dc8a0f Merge branch 'dev' of gitlab.com:ligolang/ligo into gardening/code-comments John David Pressman 2019-10-08 13:46:25 -0700
  • 8dfb2a967f Merge branch 'feature/pascaligo-remove-simplify' into 'dev' Sander 2019-10-08 19:35:09 +0000
  • 88de350264 Add test for PascaLIGO remove syntax which appears to work John David Pressman 2019-10-08 11:54:49 -0700
  • a4ad62ad16 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-10-08 11:37:31 +0000
  • aa3b035c9f Merge branch 'feature/pascaligo-remove-simplify' into 'dev' Christian Rinderknecht 2019-10-08 10:32:03 +0000
  • 1362fbae9e Made big_map a keyword, like map. Christian Rinderknecht 2019-10-08 12:22:22 +0200
  • 7cf75c54c8 Untested rough draft of pascaligo set removal John David Pressman 2019-10-07 21:41:36 -0700