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

Commit Graph

  • 02d66cf536 rename operators to predefined Pierre-Emmanuel Wulfman 2020-06-12 14:16:17 +0200
  • aa849f6dcb renaming of passes Pierre-Emmanuel Wulfman 2020-06-12 12:58:38 +0200
  • c539f2d5f6 Merge branch 'balsoft/xrefcheck' into 'dev' Suzanne Dupéron 2020-06-23 12:40:54 +0000
  • d34b345edc Merged first changes towards handling comments. Refactoring. Christian Rinderknecht 2020-06-23 11:52:39 +0200
  • 3ec21a8762 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint_comments Christian Rinderknecht 2020-06-23 01:23:33 +0200
  • 77eb1335a1 Merge branch 'rinderknecht@fix-sequences' into 'dev' Christian Rinderknecht 2020-06-22 22:58:59 +0000
  • c379d1078e Fixed builds of ParserMain.exe. Fixed parser (code_inj). Christian Rinderknecht 2020-06-23 00:37:57 +0200
  • e42381fb84 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@fix-sequences Christian Rinderknecht 2020-06-22 21:50:42 +0200
  • fb4a888867 Merge branch 'rinderknecht@code_inclusion' into 'dev' Christian Rinderknecht 2020-06-22 19:36:45 +0000
  • 94039c4d65 Added back return instead of ok. Christian Rinderknecht 2020-06-22 16:29:32 +0200
  • bc5a5cd75b Move ESeq back to its original semantic action. Christian Rinderknecht 2020-06-20 20:03:04 +0200
  • 8f4ed11539 Added comments. Christian Rinderknecht 2020-06-15 18:16:03 +0200
  • 92e6d55aa8 Improved code injection. Fixed a few bugs on the way. Christian Rinderknecht 2020-06-12 17:49:21 +0200
  • e26b142c3c Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@fix-sequences Christian Rinderknecht 2020-06-20 15:50:13 +0200
  • 8ce7ae0f27 Fixed the parsing of sequences in CameLIGO. Christian Rinderknecht 2020-06-20 15:49:52 +0200
  • 46bd0315e2 Merge branch 'contract/basic_multisig' into 'dev' Pierre-Emmanuel Wulfman 2020-06-19 11:24:28 +0000
  • 36df068dfc wip: new error monad Pierre-Emmanuel Wulfman 2020-06-18 18:27:37 +0200
  • ae8a3752ef
         Check for invalid references on CI Alexander Bantyev 2020-06-08 19:32:25 +0300
  • 027f73fa01 Merge branch 'refactor/simplifier' into 'dev' Pierre-Emmanuel Wulfman 2020-06-19 05:48:11 +0000
  • 98487d8bb7 Add a basic multisig contract Pierre-Emmanuel Wulfman 2020-05-27 16:19:29 +0200
  • c2e4f2f36d Add pp can assert_value_eq for Literal_op Pierre-Emmanuel Wulfman 2020-05-27 16:13:27 +0200
  • c8b8492ed9 remaking PacscaLIGO simplifier Pierre-Emmanuel Wulfman 2020-06-16 23:30:09 +0200
  • 988776bd31 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@code_inclusion Christian Rinderknecht 2020-06-15 18:16:16 +0200
  • b3da13251c Added comments. Christian Rinderknecht 2020-06-15 18:16:03 +0200
  • 429a1dc412 Merge branch 'refactor/display-and-result' into 'dev' Rémi Lesenechal 2020-06-15 14:46:50 +0000
  • 4969b34225 more annotation on the global error type Lesenechal Remi 2020-06-15 15:33:32 +0200
  • 3fd93fc7b5 result monad refactoring: update test Lesenechal Remi 2020-06-12 13:34:08 +0200
  • c6b95bf07a result monad refactoring: Lesenechal Remi 2020-06-12 13:33:14 +0200
  • 05923fbb4c Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@code_inclusion Christian Rinderknecht 2020-06-12 18:00:28 +0200
  • a7f6de9fac Improved code injection. Fixed a few bugs on the way. Christian Rinderknecht 2020-06-12 17:49:21 +0200
  • d53be83490 Merge branch 'bytes-sub-change' into 'dev' Sander 2020-06-11 16:03:09 +0000
  • 9eabec28dc Update bytes.sub doc. Sander Spies 2020-06-11 17:49:48 +0200
  • ed3f2dcbff
         Fix invalid references Alexander Bantyev 2020-06-08 19:32:12 +0300
  • 1c5ea4b3f2 Merge branch 'feature/code_insertion' into 'dev' Pierre-Emmanuel Wulfman 2020-06-11 09:55:19 +0000
  • 195175287a review 2 Pierre-Emmanuel Wulfman 2020-05-27 19:48:17 +0200
  • c6ad617524 Merge branch 'doc-failwith' into 'dev' Sander 2020-06-11 09:28:19 +0000
  • 9ea4c97dd4 Merge branch 'doc-failwith' of https://gitlab.com/ligolang/ligo into doc-failwith Sander Spies 2020-06-11 11:13:32 +0200
  • 8937b762cd Merge branch 'dev' of https://gitlab.com/ligolang/ligo into doc-failwith Sander Spies 2020-06-11 11:12:59 +0200
  • 44ee2be055 rebase on dev Pierre-Emmanuel Wulfman 2020-05-22 17:13:01 +0200
  • 0b8effbf2b move the work from lexer to parser: this makes the rules symetrics but impose the language to have the same syntax as constructor. This may change in the future Pierre-Emmanuel Wulfman 2020-05-20 11:09:21 +0200
  • f25456a7a6 remove unsed symbol in parsers Pierre-Emmanuel Wulfman 2020-04-23 12:17:29 +0200
  • c110670a38 fix errors messages in parser Pierre-Emmanuel Wulfman 2020-04-20 13:34:03 +0200
  • dd4abbf46a test passing Pierre-Emmanuel Wulfman 2020-04-18 17:02:48 +0200
  • a4e2fe2447 WIP:handling parsing errors Pierre-Emmanuel Wulfman 2020-04-17 20:39:30 +0200
  • 97e33a99da Emit LAMBDA directly from compiler Tom Jack 2020-01-09 11:11:04 -0600
  • dfcccff748 generating good code Pierre-Emmanuel Wulfman 2020-04-17 13:36:33 +0200
  • b044a4fbc5 wip: compiling code that doesn't typecheck Pierre-Emmanuel Wulfman 2020-04-16 17:12:10 +0200
  • 5f4e1b83c7 remove {| and |} while transpling + error on wrong language Pierre-Emmanuel Wulfman 2020-04-16 14:41:58 +0200
  • 9e5ae133d2 fix old typer Pierre-Emmanuel Wulfman 2020-04-15 21:44:57 +0200
  • fa7cc825eb parser and test Pierre-Emmanuel Wulfman 2020-04-15 17:15:55 +0200
  • 7872a1d4bc first attempt Pierre-Emmanuel Wulfman 2020-04-14 15:49:07 +0200
  • 5365f97f47 Merge branch 'bitwise-examples' into 'dev' Sander 2020-06-10 17:12:25 +0000
  • 62e9cd5796 Merge branch 'remove-ghost-selection' into 'dev' Sander 2020-06-10 17:12:20 +0000
  • fd26ad82cd Changed 'gast' to gas Eowyn Dean 2020-06-10 17:10:34 +0000
  • 82a8ee5697 Merge branch 'rinderknecht@pprint' into 'dev' Sander 2020-06-10 15:16:53 +0000
  • 358ae530b8 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-06-10 16:59:39 +0200
  • c57f499fea Final touches to the pretty printers. Fixed the syntaxes for field_assignment and field_path_assignment. Christian Rinderknecht 2020-06-10 16:58:59 +0200
  • a0d2eb733d Remove ghost selection on tabs. Sander Spies 2020-06-10 09:20:19 +0200
  • 29b483aa0c Merge branch 'tools/ligo-snippets-ide-fix' into 'dev' Jev Björsell 2020-06-10 01:11:02 +0000
  • eb2facfc11 update to use @ligolang/ligo-snippets@1.0.1 Edmond Lee 2020-06-09 17:33:50 -0700
  • 22699525b3 Merge branch 'tools/ligo-snippets-ide-fix' into 'dev' Jev Björsell 2020-06-10 00:11:52 +0000
  • 582dacf5d5 add @babel/plugin-transform-runtime to ligo-snippets Edmond Lee 2020-06-09 16:33:19 -0700
  • 612694d603 Merge branch 'tools/ligo-snippets' into 'dev' Jev Björsell 2020-06-09 22:39:33 +0000
  • 86a30b1e6f add getLanguageHighlight function to determine the language highlight, and added custom syntax highlighting rules to ligosnippets editor Edmond Lee 2020-06-09 22:39:33 +0000
  • 34d726c2f3 Apply 1 suggestion(s) to 1 file(s) Sander 2020-06-09 14:32:17 +0000
  • d810ccc921 Apply 1 suggestion(s) to 1 file(s) Sander 2020-06-09 14:32:14 +0000
  • 816afdd1b8 Apply 1 suggestion(s) to 1 file(s) Sander 2020-06-09 14:32:07 +0000
  • 5470893f68 Bitwise pseudomodule documentation. Sander Spies 2020-06-09 13:15:24 +0200
  • 206f52d8e6 Merge branch 'balsoft/gitignore' into 'dev' Suzanne Dupéron 2020-06-08 17:11:43 +0000
  • dfbba95cbf Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-06-08 16:05:23 +0200
  • 94a3c1c3da Merge branch 'gardening/fix-ast' into 'dev' Pierre-Emmanuel Wulfman 2020-06-08 13:32:52 +0000
  • a688a1afe4 ReasonLIGO improvements. Sander Spies 2020-06-08 15:24:36 +0200
  • cee9cc841e More fixes for PascaLIGO. Sander Spies 2020-06-08 15:07:20 +0200
  • a58dca7097 Add PascaLIGO pretty printer tests. Sander Spies 2020-06-08 15:00:44 +0200
  • d7b4a97731 PascaLIGO fixes. Sander Spies 2020-06-08 15:00:10 +0200
  • 046f31f7c1
         Nix: apply gitignore on sources Alexander Bantyev 2020-06-08 14:50:51 +0300
  • aee524ffc4 Use correct file input for idempotent testing of CameLIGO contracts. Sander Spies 2020-06-08 13:48:54 +0200
  • cb11295405
         Add nix artifacts to gitignore Alexander Bantyev 2020-06-08 14:41:23 +0300
  • 4382c3c042 Merge fixes. Sander Spies 2020-06-08 13:27:24 +0200
  • c770aa3541 Merge branch 'rinderknecht@pprint' of https://gitlab.com/ligolang/ligo into reasonligo-pretty-printer Sander Spies 2020-06-08 13:23:03 +0200
  • eea9d8f627 Move types to toplevel. Sander Spies 2020-06-08 13:12:42 +0200
  • 838fdf6a5f Fixed build. Christian Rinderknecht 2020-06-08 12:40:14 +0200
  • 2d65ba638e Updated syntax error messages. Christian Rinderknecht 2020-06-08 12:06:19 +0200
  • 8d291b2d2e Finished v1 of PascaLIGO pretty-printer. Christian Rinderknecht 2020-06-08 11:59:58 +0200
  • b76d44e9f2 Change loops to iteration and hide bounded loops section for CameLIGO and ReasonLIGO Sander Spies 2020-06-08 11:58:46 +0200
  • d99d1bbe66 Improve failwith description. Sander Spies 2020-06-08 11:58:23 +0200
  • 534447dc9e More printers. Christian Rinderknecht 2020-06-08 00:19:05 +0200
  • bfac7f3b0a * Fixed AST node for_int (step clause) * Fixed Parser and ParserLog (step clause missing). * Added more printers. Christian Rinderknecht 2020-06-06 20:47:31 +0200
  • 77920a1c58 Fixed parsing of lambdas (cannot be recursive) in PascaLIGO. Added more to the pretty-printing of PascaLIGO. Improved pretty-printing of CameLIGO. Christian Rinderknecht 2020-06-05 23:24:49 +0200
  • 574903ed2f fix name Pierre-Emmanuel Wulfman 2020-06-05 18:20:43 +0200
  • be9478bec1 Refactor updates and accessors Pierre-Emmanuel Wulfman 2020-06-05 17:45:11 +0200
  • cb39217c8c Improve ReasonLIGO pretty printer output. Sander Spies 2020-06-05 16:20:31 +0200
  • 63086db0f1 More ReasonLIGO pretty printer improvements. Sander Spies 2020-06-05 16:01:18 +0200
  • db0fdf4abd Improve ReasonLIGO output. Sander Spies 2020-06-05 13:56:14 +0200
  • 49d2c870ae Change names. Sander Spies 2020-06-05 13:02:23 +0200
  • 623e6f1251 Add tests for CameLIGO. Sander Spies 2020-06-05 12:51:37 +0200
  • 54cefddd51 Merge Sander Spies 2020-06-05 12:27:06 +0200
  • 9495901b75 Merge Sander Spies 2020-06-05 12:23:32 +0200
  • 3dd4568a3d Cleanup. Sander Spies 2020-06-05 12:21:40 +0200
  • 4c2a271898 Fix small printing bug. Sander Spies 2020-06-05 11:32:30 +0200