summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Merge pull request #186 from FrigoEU/lspGravatar Adam Chlipala2020-01-15
|\
| * 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
* | 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
* | | More lenient RFC 3339 parsingGravatar Adam Chlipala2019-12-23
* | | Merge pull request #191 from JasonGross/patch-2Gravatar Adam Chlipala2019-12-20
|\ \ \
* \ \ \ Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2019-12-19
|\ \ \ \
* | | | | Fix toJson for records with optional fieldsGravatar Adam Chlipala2019-12-19
| | * | | Try using brew upgrade in TravisGravatar Jason Gross2019-12-17
| |/ / /
| * | | Merge pull request #190 from FrigoEU/sscanfGravatar Adam Chlipala2019-12-17
|/| | |
| * | | Remove sscanf from blob processingGravatar Simon Van Casteren2019-12-17
|/ / /
* | | Support endpoints generation for urpless invocations (closes #187)Gravatar Adam Chlipala2019-12-16
* | | Merge pull request #183 from docelic/masterGravatar Adam Chlipala2019-12-15
|\ \ \
| | | * 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 20:10:51 +0000