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

Commit Graph

  • 4ee75afb0a fix test: add helper blurb Suzanne Dupéron 2020-01-09 19:14:10 +0100
  • 1863cf324b Improve error messages in ast_typed/combinators.ml Suzanne Dupéron 2020-01-06 20:09:24 +0100
  • 5cef850bdd Fix printing of bytes in parsers/lexers Tom Jack 2020-01-09 16:51:23 -0600
  • 1b0ed4d4de Fix literal bytes Tom Jack 2020-01-09 16:50:27 -0600
  • e67e2098c2 Merge branch 'parser-negative-tests' into 'dev' Rémi Lesenechal 2020-01-09 22:17:30 +0000
  • 20c9de0380 parset negative tests for all syntaxes Lesenechal Remi 2020-01-09 16:41:21 +0100
  • 47199ca13c add negative tests rules Lesenechal Remi 2020-01-09 07:41:16 +0100
  • fcb1c4ab77 add --contatenate option to cover.sh script Lesenechal Remi 2020-01-09 07:40:24 +0100
  • 31a16afcf9 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2020-01-09 20:53:44 +0000
  • a0f0f49021 Merge branch 'rinderknecht-dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2020-01-09 20:59:41 +0100
  • 0791866a63 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2020-01-09 20:59:22 +0100
  • 979c11cf44 Refactoring of the AST and simplfier of PascaLIGO. Christian Rinderknecht 2020-01-09 17:26:07 +0100
  • 81a194d6d2 Removed temporary Emacs file. Christian Rinderknecht 2020-01-09 15:55:58 +0100
  • 8309b3a443 Merge branch 'bugfix/negative-test-move-and-check-expected' into 'dev' Suzanne Dupéron 2020-01-09 18:53:02 +0000
  • 19e2ffb750 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2020-01-09 19:49:57 +0100
  • 801efeed46 tests for automatic fold generator + fold_config hook to update the state before a node has been transformed, without transforming it. Suzanne Dupéron 2020-01-06 13:04:38 +0100
  • fe5f8d9f64 fold_config hook to update the state after a node has been transformed, without transforming it. Suzanne Dupéron 2020-01-06 12:58:43 +0100
  • 8b98898dbf first executable version of the auto-generation of folds Suzanne Dupéron 2019-12-12 12:12:34 +0100
  • 3605768bb0 Started auto-generation of folds on ADTs (part of the code is generated, not all) Suzanne Dupéron 2019-12-11 17:54:00 +0100
  • 8e18c1f8bd update tests with the helper blurb Suzanne Dupéron 2020-01-09 18:59:10 +0100
  • 2232e7f34f Suppress noisy and useless test in UnionFind Tom Jack 2020-01-09 11:21:28 -0600
  • a4e971b9e0 Ignore UnionFind.install Tom Jack 2020-01-09 11:21:23 -0600
  • 75e6344972 Move the last two negative tests to a subdirectory, actually check that they fail in the expected way Suzanne Dupéron 2020-01-06 18:05:25 +0100
  • 8f2ff058ec Merge branch 'feature/subtle-nontail-fail' into 'dev' Tom Jack 2020-01-09 16:42:49 +0000
  • dad9b0f816 Refactoring of the AST and simplfier of PascaLIGO. Christian Rinderknecht 2020-01-09 17:26:07 +0100
  • 10eebf69bd Support always-failing conditionals Tom Jack 2020-01-06 14:19:14 -0600
  • 3b5c25114d Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2020-01-09 14:58:01 +0000
  • c347d1b08b Removed temporary Emacs file. Christian Rinderknecht 2020-01-09 15:55:58 +0100
  • 9426222d86 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2020-01-09 14:27:17 +0100
  • d123abd46f Added new error for duplicated record fields. Removed interface for the AST (for maintenance sake). Christian Rinderknecht 2020-01-09 14:26:47 +0100
  • 3cfbd60cd2 Merge branch 'fix-negative-pos-error' into 'dev' Rémi Lesenechal 2020-01-09 11:33:21 +0000
  • 8904ededb7 Improve error handling of negative start positions. Sander Spies 2020-01-09 11:15:35 +0100
  • 9f0eb8a868 Merge branch 'feature/contrain-md-block-args' into 'dev' John David Pressman 2020-01-09 10:26:46 +0000
  • ad4dc27122 skip code block with #include Lesenechal Remi 2020-01-09 10:34:30 +0100
  • af5c32cb98 checking .md file arguments Lesenechal Remi 2020-01-09 10:33:44 +0100
  • 330d2ab351 Forgot to commit this. Christian Rinderknecht 2020-01-08 23:47:37 +0100
  • b8017ca8ac Moved stuff to module [SyntaxError] from [AST] and [Parser]. Added support for the rejection of non-linear patterns in PascaLIGO. Christian Rinderknecht 2020-01-08 23:35:09 +0100
  • 9bdb0a63cd Merge branch 'feature/cameligo-application-fix' into 'dev' Christian Rinderknecht 2020-01-08 20:58:26 +0000
  • 71989876db Fix a bug, test added: John David Pressman 2020-01-08 20:58:26 +0000
  • 1cc6ce548c Merge branch 'feature/update-union-find' into 'dev' Christian Rinderknecht 2020-01-08 19:01:49 +0000
  • 13ff600509 union-find: rename partition to UnionFind for more consistency across the various names that opam and dune assign to this library Suzanne Dupéron 2020-01-06 19:02:26 +0100
  • dd9a4dfb47 update union-find library (part 2: adjust module names) Suzanne Dupéron 2020-01-06 19:00:05 +0100
  • 5e444dd278 update union-find library (part 1: remove old copy, download https://github.com/rinderknecht/UnionFind.git 3fc434d0d75e40d40d17f5abb70d86a51f434771 in new folder) Suzanne Dupéron 2020-01-06 18:26:24 +0100
  • d49a72847a Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2020-01-08 17:09:48 +0000
  • cfe5494608 Fixed the examples in Markdown after my last MR forbidding the shadowing of predefined values (like [balance] here). Christian Rinderknecht 2020-01-08 17:16:09 +0100
  • 8bdc103ec8 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2020-01-08 16:46:59 +0100
  • 9e7c97637c Added support for language-specific parse errors for PascaLIGO: * Duplicate variants in the same type declaration * Duplicate parameter in the same function declaration * Shadowing of predefined value in a declaration Christian Rinderknecht 2020-01-08 16:39:52 +0100
  • e96bfc1c87 Merge branch 'docs/changelog' into 'dev' John David Pressman 2020-01-08 10:54:21 +0000
  • 16ac289381 [LIGO-347] Add changelog John David Pressman 2020-01-08 10:54:21 +0000
  • 3fecff3a60 Merge branch 'rinderknecht@cover' into 'dev' Rémi Lesenechal 2020-01-07 23:16:00 +0000
  • 6a1939553e Added --messages. Christian Rinderknecht 2020-01-07 16:58:41 +0100
  • 00233fd887 Merge branch 'initial-lexer-error-testing' into 'dev' Sander 2020-01-07 20:35:04 +0000
  • 8dd936ab90 Test lexer error messages. Sander 2020-01-07 20:35:04 +0000
  • 8fa21ffed4 Merge branch 'improve-simplifier-self-pass-errors' into 'dev' Rémi Lesenechal 2020-01-07 19:27:12 +0000
  • 05afd6c8c7 improve simplifier self pass errors Lesenechal Remi 2020-01-05 17:27:09 +0100
  • 7434db862f Merge branch 'fix-parser-errors' into 'dev' Sander 2020-01-07 15:07:32 +0000
  • 8f57f63be7 Show proper parser error messages in the terminal again. Sander Spies 2020-01-06 20:12:08 +0100
  • de0657e8f2 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2020-01-07 12:54:05 +0100
  • aeadaff42b Merge branch 'docs/map-docs-update' into 'dev' John David Pressman 2020-01-07 07:32:44 +0000
  • 3b806d0bb7 [LIGO-342] Add big maps to docs, change example used for ordinary maps John David Pressman 2020-01-07 07:32:44 +0000
  • 6b54f43f86 Merge branch 'feature/deep-location' into 'dev' Tom Jack 2020-01-07 01:24:55 +0000
  • 6716af9123 Eliminate some spurious synonyms of "location" Tom Jack 2019-12-30 15:24:42 -0600
  • e73c901135 Show 'deepest' location for errors Tom Jack 2019-12-30 15:16:22 -0600
  • dff0367a56 Merge branch '92-map_update-key_hash-is-not-comparable' into 'dev' Rémi Lesenechal 2020-01-06 22:44:24 +0000
  • d885eb8d4a check key_hash format Lesenechal Remi 2020-01-06 22:52:30 +0100
  • 2667ed62b3 fix indent (unrelated) Lesenechal Remi 2020-01-06 22:29:07 +0100
  • 55a8734c81 key_hash now comparable Lesenechal Remi 2020-01-06 21:31:54 +0100
  • 6841609362 allow key_hash literals Lesenechal Remi 2020-01-06 21:31:45 +0100
  • 012ee0740b Merge branch 'fix-entry-point-aggregation' into 'dev' Rémi Lesenechal 2020-01-06 19:32:50 +0000
  • a0a8f114c0 replaces remove_from by take which does not raise any exceptions Lesenechal Remi 2020-01-06 19:24:23 +0100
  • 8ce4772ae4 add tests Lesenechal Remi 2020-01-06 18:51:43 +0100
  • 7e05b7d276 now removes the entry-point declaration from the program before aggregation Lesenechal Remi 2020-01-06 17:46:00 +0100
  • 316ea3bd9a Merge branch 'gardening_error_handling_parser' into 'dev' Sander 2020-01-06 13:36:07 +0000
  • 301defda3f Show lexer error messages in CameLIGO + PascaLIGO. Sander Spies 2020-01-06 13:46:11 +0100
  • e8a70411b8 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2020-01-06 10:55:56 +0000
  • ddd438aaa8 Forgot to add. Christian Rinderknecht 2020-01-04 23:32:50 +0100
  • a6e4837aa0 Sharing standalone lexers and parsers, and parser error API. Christian Rinderknecht 2020-01-04 19:49:22 +0100
  • 387a248100 Merge branch 'doc-typo' into 'dev' Rémi Lesenechal 2020-01-05 14:23:50 +0000
  • f133729318 fix dune file warnings Lesenechal Remi 2020-01-05 14:32:15 +0100
  • b1dd35b56d fix definition of predecessor_timestamp Lesenechal Remi 2020-01-03 23:01:46 +0100
  • 12619232df Forgot to add. Christian Rinderknecht 2020-01-04 23:32:50 +0100
  • 51ccc28e3c Sharing standalone lexers and parsers, and parser error API. Christian Rinderknecht 2020-01-04 19:49:22 +0100
  • 357d83283f Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2020-01-04 17:35:53 +0000
  • e23350071f Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2020-01-04 17:47:20 +0100
  • 0cc5240c21 Show lexer error messages in ReasonLIGO Sander 2020-01-04 08:24:16 +0000
  • 10b26f610f Show lexer error messages in ReasonLIGO John David Pressman 2020-01-04 08:24:16 +0000
  • d3fa06d62a Merge branch '129-allow-passing-timestamp-literals' into 'dev' John David Pressman 2020-01-03 21:46:46 +0000
  • e89aace91c Clean up description of --predecessor-timestamp flag in logs John David Pressman 2020-01-03 12:49:42 -0800
  • 0ce29e22b9 add some timestamp doc Lesenechal Remi 2020-01-03 21:38:40 +0100
  • 0a676d72a5 add --predecessor-timestamp to compile-storage/parameter Lesenechal Remi 2020-01-03 18:09:16 +0100
  • 1a2a29bc03 negative timestamp literal test Lesenechal Remi 2020-01-03 17:46:31 +0100
  • c805a27b99 adding timestamp literals as string or int Lesenechal Remi 2020-01-03 17:46:07 +0100
  • 90955c35b2 Merge branch '123-unbound-variable-errors-are-hard-to-decipher' into 'dev' Rémi Lesenechal 2020-01-03 16:14:19 +0000
  • 1806d6d74c Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2020-01-03 16:58:37 +0100
  • a3a09dc0e5 functionize the name in the error Lesenechal Remi 2020-01-02 19:39:31 +0100
  • 4d56a71bd1 propagate location for cameligo variables Lesenechal Remi 2020-01-02 19:30:19 +0100
  • 3288696784 add the name of the variable in the unbound variable error message title Lesenechal Remi 2020-01-02 19:30:09 +0100
  • 3b73a7a5c8 Merge branch '104-seemingly-simple-contract-does-not-typecheck-error-is-uninformative' into 'dev' Rémi Lesenechal 2020-01-03 15:17:23 +0000
  • 72f4ed35f1 print ill-typed michelson code Lesenechal Remi 2020-01-02 12:31:10 +0100
  • 5108b820cf Fix minor typos in wrong michelson contract parameter/storage msgs John David Pressman 2020-01-01 14:15:49 -0800