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

Commit Graph

  • 7273e38a0f
         Remove postinstall from vscode-plugin balsoft/package-with-nix Alexander Bantyev 2020-09-17 18:54:24 +0300
  • a5874d7c2e
         Update nixpkgs and haskell.nix to pinned versions Alexander Bantyev 2020-09-14 21:39:20 +0300
  • 5105e0e692
         DROP BEFORE MERGING UPSTREAM Alexander Bantyev 2020-09-14 21:15:58 +0300
  • 977bb1095c
         Add a job for vscode extension Alexander Bantyev 2020-09-12 18:43:02 +0300
  • db9371bfa6
         Fully package vscode extension with nix Alexander Bantyev 2020-09-12 18:36:30 +0300
  • 417b427f6d
         Fix tree-sitter generation with make Alexander Bantyev 2020-09-11 20:26:51 +0300
  • 7f3a662cbc
         Add nix expressions for building a static musl executable Kirill Kuvshinov 2020-08-26 13:13:27 +0000
  • ee86539685 Merge branch 'kkirka/ligo47-fix-incorrect-parsing' into 'tooling' Kirill Kuvshinov 2020-09-15 08:35:45 +0000
  • c44a35d4d1
         [LIGO-47] PascaLIGO: Move block out of case_block alternatives Kirill Kuvshinov 2020-09-15 11:25:21 +0300
  • 04724a1db2
         [LIGO-47] Allow let .. in in lambda body Kirill Kuvshinov 2020-09-15 11:22:15 +0300
  • 7f6820c368
         [LIGO-42] Support for document symbols Anton Myasnikov 2020-09-08 18:36:25 +0300
  • 619a7de432
         [LIGO-41] Convert ligo scopes to ScopedDecl Anton Myasnikov 2020-09-03 15:18:56 +0300
  • d5154dff36
         [LIGO-41] Ligo binary integration Anton Myasnikov 2020-09-02 21:17:07 +0300
  • 7c43cd9574
         [LIGO-40] Move LSP request handlers to Capabilities directory Anton Myasnikov 2020-08-25 19:15:02 +0300
  • 0b1590e324
         [LIGO-40] Implement LSP range cconversion function Anton Myasnikov 2020-08-25 19:13:23 +0300
  • 283f41738d
         [LIGO-40] Support for code hovering Anton Myasnikov 2020-08-25 19:10:36 +0300
  • 5d8f2c8526
         [LIGO-13] Add CameLIGO and ReasonLIGO Kirill Kuvshinov 2020-08-24 07:53:16 +0300
  • 15fc6f25fd
         [LIGO-13] Add a VSCode extension Kirill Kuvshinov 2020-08-13 09:34:33 +0300
  • b48b461c28 Merge branch 'awkure/collect-errors' into 'tooling' Anton Myasnikov 2020-09-03 06:26:51 +0000
  • f0005c982a
         [LIGO-39] Parse contracts in directory Anton Myasnikov 2020-08-25 17:29:40 +0300
  • fd862676b3
         [LIGO-26] Support code folding capability Anton Myasnikov 2020-08-25 13:39:47 +0300
  • d2a020434e
         Fix contract Kirill Andreev 2020-08-24 20:22:46 +0400
  • 28714af8cc
         Additional fixes Kirill Andreev 2020-08-24 20:20:52 +0400
  • f2a3f0b579
         Hopefully fix VFS loading (by falling back to loadByURI) Kirill Andreev 2020-08-24 20:10:00 +0400
  • da6ca97a9d
         Fix 'field name not found' for reasonligo Kirill Andreev 2020-08-24 20:05:24 +0400
  • 5533b07270
         Fix pattern defs for pascaligo Kirill Andreev 2020-08-24 14:17:53 +0400
  • f554551f75
         [LIGO-37] [LIGO-38] Looks like it fixes it Kirill Andreev 2020-08-24 12:29:51 +0400
  • 3037be689b
         [LIGO-27] Fix parameters for lambdas and restructure grammar Anton Myasnikov 2020-08-22 00:27:12 +0300
  • 1828fd6d46
         [LIGO-29] Integrate existing completion framework with haskell-lsp Anton Myasnikov 2020-08-20 15:22:48 +0300
  • 1c684a791c
         Fix camligo not registering fun/lam args Kirill Andreev 2020-08-21 18:24:06 +0400
  • 7fa947e92e
         Add all parser.c as symlinks Kirill Andreev 2020-08-21 18:23:39 +0400
  • 5e0cf40ea7
         [fix] Cleaning the commented code after CAML grammar Kirill Andreev 2020-08-19 14:29:44 +0400
  • 41a49da1e0
         Pin the vendor/camligo directory Kirill Andreev 2020-08-19 14:12:03 +0400
  • 6e2f592094
         [LIGO-17] Implementing CAMLligo dialect Kirill Andreev 2020-08-17 18:33:46 +0400
  • 1a948bcae7
         Extension and grammar Kirill Andreev 2020-08-17 16:29:42 +0400
  • 26d11eea19
         Rename debounced -> unsafeDebounce Kirill Andreev 2020-08-14 15:49:42 +0400
  • fe929fbe70
         Link camligo grammar, get rid of personal loaders Kirill Andreev 2020-08-14 15:40:30 +0400
  • ba66f6e8e4
         Make extension-aware parser entrypoint Kirill Andreev 2020-08-14 14:54:04 +0400
  • 28e16ca068
         Make grammar parse everything except inline M. Kirill Andreev 2020-08-12 22:49:05 +0400
  • 78c408b76a
         Untangle existing code for grammar Kirill Andreev 2020-08-11 16:37:53 +0400
  • f1938eb2af
         Hotfix: add missing Scoped instances Anton Myasnikov 2020-08-12 14:28:51 +0300
  • 31b5ffbeef
         Keeps dirs, remove unused artifact Kirill Andreev 2020-08-11 15:41:20 +0400
  • a1a846b554
         [LIGO-25] Add ReasonLIGO parser Anton Myasnikov 2020-08-11 13:33:26 +0300
  • 820d73f345
         [LIGO-25] Chores (add Makefile, scripts, vendor, stylish) Anton Myasnikov 2020-08-11 13:31:22 +0300
  • 99321a59bb
         [LIGO-25] Add grammar for ReasonLIGO and move it to squirrel Anton Myasnikov 2020-08-11 13:30:46 +0300
  • 0fbfd134ec
         [LIGO-25] Update .gitignore Anton Myasnikov 2020-08-11 13:29:47 +0300
  • 2a8cda17ce
         Add type/doc capture Kirill Andreev 2020-08-07 14:27:07 +0400
  • 38c32f01d4
         Remove most warnings and renudant line in AST.Parser Kirill Andreev 2020-08-05 20:45:22 +0400
  • 107018e6f3
         Add basic code completion mechanism Kirill Andreev 2020-08-05 20:31:54 +0400
  • 08a0eb55d1
         Fix AST.Scope Kirill Andreev 2020-08-04 17:31:55 +0400
  • 31274e1507
         Tie all up Kirill Andreev 2020-08-03 21:31:24 +0400
  • 9f29dab195
         Fix letrec partially Kirill Andreev 2020-07-28 20:51:32 +0400
  • 6bd5d9ef84
         Update AST.Scope to new framework Kirill Andreev 2020-07-28 20:00:04 +0400
  • 226b7264aa
         Restore AST.Scope instances and part of the machinery Kirill Andreev 2020-07-27 23:27:50 +0400
  • b5e5bc25a1
         [WIP] Conversion to descent-based parser Kirill Andreev 2020-07-20 01:04:01 +0400
  • 3233270dba
         Add debounced function Kirill Andreev 2020-07-14 22:28:02 +0400
  • 58e5128142
         Fix dying on broken code and handle errors in Main.hs Kirill Andreev 2020-07-13 15:26:32 +0400
  • 508b111374
         Fix blocks getting invalid ranges Kirill Andreev 2020-07-10 16:13:39 +0400
  • 20014a7926
         Remove warnings, refactor FullEnv Kirill Andreev 2020-07-10 15:11:49 +0400
  • a11e92af60
         Remove unused traverseOnly Kirill Andreev 2020-07-10 12:47:34 +0400
  • 5737cd5686
         Fix tree traversal breaking on errors Kirill Andreev 2020-07-10 12:45:49 +0400
  • e5ec32f46a
         Fix letrec behaviour Kirill Andreev 2020-07-09 18:59:38 +0400
  • c26bc044ee
         Separate the namespaces for search Kirill Andreev 2020-07-08 20:31:42 +0400
  • ba3c0a76d9
         Fix function stealing 'goto def's Kirill Andreev 2020-07-08 18:55:11 +0400
  • 29bc1721d1
         Load from VFS Kirill Andreev 2020-07-07 17:41:14 +0400
  • bf6cc6ca16
         [LIGO-18] Expose find ref and go to def via LSP Kirill Kuvshinov 2020-07-06 00:10:25 +0300
  • 65fc5bec75
         Separate env-tree construction and usage Kirill Andreev 2020-07-03 20:35:58 +0400
  • 24cc24b0d7
         Prevent loop on recursive import Kirill Andreev 2020-07-03 20:01:17 +0400
  • b35a28853b
         Add ability to recursively parse #included files Kirill Andreev 2020-07-03 19:52:06 +0400
  • 583d7f8997
         Clean the comments Kirill Andreev 2020-07-01 16:56:21 +0400
  • 03b89bc5b7
         Rewrite scope loader Kirill Andreev 2020-06-17 22:05:44 +0400
  • 8d61a36918
         [WIP] Implement a loader of Env from a ScopeTree Kirill Andreev 2020-06-10 22:37:02 +0400
  • 9f124bf5af
         Implement def/impl/type search Kirill Andreev 2020-06-09 15:56:11 +0400
  • 9cf2e0cf97
         Use Data.Sum instead of manual Union Kirill Andreev 2020-06-08 01:16:33 +0400
  • 20de97c5c6
         Make faster Union Kirill Andreev 2020-06-08 00:52:30 +0400
  • 44defb2114
         Remove Data.Fix, make recursion manually Kirill Andreev 2020-06-07 23:51:44 +0400
  • 19f05f5afc
         Rename HasComments to Comment; remove *.cabal Kirill Andreev 2020-06-04 19:15:14 +0400
  • e701e196fe
         Improve documentation Kirill Andreev 2020-06-04 17:40:38 +0400
  • 9d81ecf353
         Silence warnings Kirill Andreev 2020-06-04 17:16:04 +0400
  • 1f7af3c8cb
         Make infoOf always return an info Kirill Andreev 2020-06-04 16:34:58 +0400
  • 9b95006a71
         Make Error a Functor; move all Error stuff to Error.hs Kirill Andreev 2020-06-04 16:29:06 +0400
  • 41403426b0
         Add project overview Kirill Andreev 2020-06-04 16:06:51 +0400
  • f3fbfb49a1
         Add documentation Kirill Andreev 2020-06-04 13:48:04 +0400
  • 95707100c2
         Formatting Main.hs Kirill Andreev 2020-06-02 16:27:19 +0400
  • 9856476ebf
         WIP: Add CTRL.run Kirill Kuvshinov 2020-06-02 14:47:56 +0300
  • 923a5bb9fe
         Add documentation Kirill Andreev 2020-06-01 22:02:16 +0400
  • d380e46737
         Convert to monotyped AST Kirill Andreev 2020-06-01 18:17:33 +0400
  • 113a2425a4
         Remove ScopeHelpers.hs Kirill Andreev 2020-06-01 12:15:30 +0400
  • 11fdc0afa1
         Fix error msg interpolation Kirill Andreev 2020-06-01 10:28:47 +0400
  • 5c643a3b63
         TMP Kirill Andreev 2020-05-28 13:04:41 +0400
  • 67de82edec
         [LIGO-6] Implement fallback scope system Kirill Andreev 2020-05-21 23:28:26 +0400
  • 1536590edb
         TMP Kirill Andreev 2020-05-19 21:26:57 +0400
  • bc155bea16
         Add TODO Kirill Andreev 2020-05-09 12:17:37 +0400
  • c8b4c2bd35
         Fix comment )-truncation Kirill Andreev 2020-05-09 11:57:10 +0400
  • e1a3903e18
         Limit exports of Parser Kirill Andreev 2020-05-08 22:14:09 +0400
  • 020b3ba334
         Improve pretty-printer Kirill Andreev 2020-05-08 22:07:53 +0400
  • 19e1018620
         Add autocollector for comments Kirill Andreev 2020-05-08 21:30:19 +0400
  • c497da5841
         Add automatic error collector to the parser Kirill Andreev 2020-05-08 20:52:58 +0400
  • 916d9897bd
         Simplifying parser Kirill Andreev 2020-05-08 20:38:41 +0400
  • 7ff8226e1b
         Remove obsolete checks for Parser.{some,many} Kirill Andreev 2020-05-08 20:13:29 +0400