summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Added some documentation for the LSP server to the manualGravatar Simon Van Casteren2020-01-15
|
* LSP: Improved handling of datatypes from signaturesGravatar Simon Van Casteren2020-01-12
|
* Fixed review changes: Better foundInEnv naming, correct interpretation ofGravatar Simon Van Casteren2020-01-11
| | | | SgiSgn, fix uniq
* Change findSmallestSpan to findClosestSpan: faster at 99% of times betterGravatar Simon Van Casteren2020-01-10
|
* Refactor to do all matching on strings, more precise and fasterGravatar Simon Van Casteren2020-01-10
|
* Fixed smaller review remarksGravatar Simon Van Casteren2020-01-08
|
* Allow simple .ur files to double as .urs files for LSPGravatar Simon Van Casteren2020-01-08
|
* Added some type sigs required by SMLNJGravatar Simon Van Casteren2020-01-08
|
* Add bg_thread.dummy.sml to mock MLton threads in sml/njGravatar Simon Van Casteren2020-01-08
|
* Return only unique diags + better formattingGravatar Simon Van Casteren2020-01-08
|
* Added some more stuff to lsp getInfo and completionsGravatar Simon Van Casteren2020-01-04
|
* Added background threadsGravatar Simon Van Casteren2019-12-15
|
* Refactored state into its own moduleGravatar Simon Van Casteren2019-12-14
|
* Parse also FFi .urs filesGravatar Simon Van Casteren2019-12-13
|
* Fixed ppToStringGravatar Simon Van Casteren2019-12-13
|
* Always add text to fileState even if elabState throwsGravatar Simon Van Casteren2019-12-13
|
* Fixed JSON parsing: newline escapingGravatar Simon Van Casteren2019-12-13
|
* Added initializationOption to specify project if multiple urp filesGravatar Simon Van Casteren2019-12-13
|
* Moved json and lsp code into seperate modulesGravatar Simon Van Casteren2019-12-13
|
* Trial version of completing table fieldsGravatar Simon Van Casteren2019-12-13
|
* Added completion suggestions for typesGravatar Simon Van Casteren2019-12-13
|
* Added textDocument_didCloseGravatar Simon Van Casteren2019-12-13
|
* Last tweak to datatype constructors autocompleteGravatar Simon Van Casteren2019-12-13
|
* Tweaks to autocompletion of datatype constructorsGravatar Simon Van Casteren2019-12-13
|
* Added tracking of text of source files and autocompleteGravatar Simon Van Casteren2019-12-13
|
* Integrated getInfo into LSPGravatar Simon Van Casteren2019-12-13
|
* Use elabFile completely instead of rebuilding it partiallyGravatar Simon Van Casteren2019-12-13
|
* Fixed parsing errors and loading of interfacesGravatar Simon Van Casteren2019-12-13
|
* Add parse error commentGravatar Simon Van Casteren2019-12-13
|
* First working version of publishDiagnosticsGravatar Simon Van Casteren2019-12-13
|
* First publishDiagnostics implementationGravatar Simon Van Casteren2019-12-13
|
* First version of calculateFileStateGravatar Simon Van Casteren2019-12-13
|
* Started work on keeping some state in LSP serverGravatar Simon Van Casteren2019-12-13
|
* Add shell.nixGravatar Simon Van Casteren2019-12-13
|
* Added some LSP notifications supportGravatar Simon Van Casteren2019-12-13
|
* First actually working version of LSPGravatar Simon Van Casteren2019-12-13
|
* Refactored LSP into few modulesGravatar Simon Van Casteren2019-12-13
|
* Added initial version of lspGravatar Simon Van Casteren2019-12-13
|
* Added openSSL dev files to nixGravatar Simon Van Casteren2019-12-13
|
* Added nix filesGravatar Simon Van Casteren2019-12-13
|
* Merge remote-tracking branch 'origin/master' into typeOfGravatar Simon Van Casteren2019-12-13
|\
| * SQL SIMILAR (via pg_trgm)Gravatar Adam Chlipala2019-12-04
| |
| * Json: expose RFC 3339 functionsGravatar Adam Chlipala2019-11-08
| |
| * Merge pull request #182 from FrigoEU/181Gravatar Adam Chlipala2019-11-08
| |\ | | | | | | Fix for #181: unurlify x-www-form-urlencoded without custom serialization based on period
| | * Fix for #181: unurlify x-www-form-urlencoded without custom serialization ↵Gravatar Simon Van Casteren2019-11-04
| |/ | | | | | | using period
| * Undo a questionable optimization, almost 10 years later (closes #179)Gravatar Adam Chlipala2019-10-13
| |
| * JSON instance for times, based on RFC 3339 (because Google APIs use it)Gravatar Adam Chlipala2019-10-11
| |
| * JSON records with optional fieldsGravatar Adam Chlipala2019-10-11
| |
| * Update urlification of unit values for RPC results, to track a previous ↵Gravatar Adam Chlipala2019-10-07
| | | | | | | | change elsewhere
| * Optimize JSON unescaping for server-side executionGravatar Adam Chlipala2019-10-05
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 02:06:11 +0000