summaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Fix signature matching of an imported datatype vs. a fresh datatypeGravatar Adam Chlipala2020-02-07
* Merge pull request #136 from dredozubov/anchor-linksGravatar Adam Chlipala2020-01-15
|\
* \ Merge pull request #186 from FrigoEU/lspGravatar Adam Chlipala2020-01-15
|\ \
| * | LSP: Improved handling of datatypes from signaturesGravatar Simon Van Casteren2020-01-12
* | | Merge pull request #185 from docelic/better-error-reportsGravatar Adam Chlipala2020-01-12
|\ \ \
| | * | Fixed review changes: Better foundInEnv naming, correct interpretation ofGravatar Simon Van Casteren2020-01-11
| | * | Change findSmallestSpan to findClosestSpan: faster at 99% of times betterGravatar Simon Van Casteren2020-01-10
* | | | At compile time, allow '#' as a URLGravatar Adam Chlipala2020-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
* | | | Remove sscanf from blob processingGravatar Simon Van Casteren2019-12-17
* | | | Support endpoints generation for urpless invocations (closes #187)Gravatar Adam Chlipala2019-12-16
| | * | 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
| | |\ \
| * | | | Improve error messagesGravatar Davor Ocelic2019-12-12
| | |/ / | |/| |
* | | | Unix sockets: use platform-agnostic include fileGravatar Davor Ocelic2019-12-10
* | | | Add UNIX socket support and a new '-u' option to specify socket filename to bindGravatar Davor Ocelic2019-12-10
|/ / /
* | | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-18 19:13:23 +0000