summaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* 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
* 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
* Merge remote-tracking branch 'origin/master' into typeOfGravatar Simon Van Casteren2019-12-13
|\
| * SQL SIMILAR (via pg_trgm)Gravatar Adam Chlipala2019-12-04
| * Fix for #181: unurlify x-www-form-urlencoded without custom serialization usi...Gravatar Simon Van Casteren2019-11-04
| * Undo a questionable optimization, almost 10 years later (closes #179)Gravatar Adam Chlipala2019-10-13
| * Update urlification of unit values for RPC results, to track a previous chang...Gravatar Adam Chlipala2019-10-07
| * Unicode escapes in JSONGravatar Adam Chlipala2019-09-25
| * Desugaring of SQL constraints uses wildcards, so allow that even in signaturesGravatar Adam Chlipala2019-09-21
| * Laxer wildcard restriction for signaturesGravatar Adam Chlipala2019-09-20
| * Signatures should be allowed to use wildcards for kinds associated with concr...Gravatar Adam Chlipala2019-09-18
| * Disallow wildcards in signatures (should help with #174)Gravatar Adam Chlipala2019-09-18
| * More detailed error message for bad path kind spec (closes #178)Gravatar Adam Chlipala2019-09-14
| * Merge pull request #177 from DestyNova/use-utf8-instead-of-escapesGravatar Adam Chlipala2019-09-06
| |\
| * | urweb daemon restartGravatar Adam Chlipala2019-08-30
| * | Smooth rough edges of daemon command-line behaviorGravatar Adam Chlipala2019-08-30
| | * PR suggestions (with thanks to @fabriceleal).Gravatar Oisín Mac Fhearaí2019-08-29
| | * Minor cleanup -- handle the case where we couldn't successfully generate a UT...Gravatar Oisín Mac Fhearaí2019-08-28
| * | Generic traversal for Elab should visit let-bound patternsGravatar Adam Chlipala2019-08-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-08 20:14:15 +0000