Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge pull request #136 from dredozubov/anchor-links | Adam Chlipala | 2020-01-15 |
|\ | | | | | Same page link anchors | ||
* \ | Merge pull request #186 from FrigoEU/lsp | Adam Chlipala | 2020-01-15 |
|\ \ | | | | | | | Language Server Protocol (LSP) | ||
| * | | LSP: Improved handling of datatypes from signatures | Simon Van Casteren | 2020-01-12 |
| | | | |||
* | | | Merge pull request #185 from docelic/better-error-reports | Adam Chlipala | 2020-01-12 |
|\ \ \ | | | | | | | | | Improve error messages | ||
| | * | | Fixed review changes: Better foundInEnv naming, correct interpretation of | Simon Van Casteren | 2020-01-11 |
| | | | | | | | | | | | | | | | | SgiSgn, fix uniq | ||
| | * | | Change findSmallestSpan to findClosestSpan: faster at 99% of times better | Simon Van Casteren | 2020-01-10 |
| | | | | |||
* | | | | At compile time, allow '#' as a URL | Adam Chlipala | 2020-01-10 |
| | | | | |||
| | * | | Refactor to do all matching on strings, more precise and faster | Simon Van Casteren | 2020-01-10 |
| | | | | |||
| | * | | Fixed smaller review remarks | Simon Van Casteren | 2020-01-08 |
| | | | | |||
| | * | | Allow simple .ur files to double as .urs files for LSP | Simon Van Casteren | 2020-01-08 |
| | | | | |||
| | * | | Added some type sigs required by SMLNJ | Simon Van Casteren | 2020-01-08 |
| | | | | |||
| | * | | Add bg_thread.dummy.sml to mock MLton threads in sml/nj | Simon Van Casteren | 2020-01-08 |
| | | | | |||
| | * | | Return only unique diags + better formatting | Simon Van Casteren | 2020-01-08 |
| | | | | |||
| | * | | Added some more stuff to lsp getInfo and completions | Simon Van Casteren | 2020-01-04 |
| | | | | |||
* | | | | Remove sscanf from blob processing | Simon Van Casteren | 2019-12-17 |
| | | | | |||
* | | | | Support endpoints generation for urpless invocations (closes #187) | Adam Chlipala | 2019-12-16 |
| | | | | |||
| | * | | Added background threads | Simon Van Casteren | 2019-12-15 |
| | | | | |||
| | * | | Refactored state into its own module | Simon Van Casteren | 2019-12-14 |
| | | | | |||
| | * | | Parse also FFi .urs files | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Fixed ppToString | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Always add text to fileState even if elabState throws | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Fixed JSON parsing: newline escaping | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Added initializationOption to specify project if multiple urp files | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Moved json and lsp code into seperate modules | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Trial version of completing table fields | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Added completion suggestions for types | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Added textDocument_didClose | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Last tweak to datatype constructors autocomplete | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Tweaks to autocompletion of datatype constructors | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Added tracking of text of source files and autocomplete | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Integrated getInfo into LSP | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Use elabFile completely instead of rebuilding it partially | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Fixed parsing errors and loading of interfaces | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Add parse error comment | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | First working version of publishDiagnostics | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | First publishDiagnostics implementation | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | First version of calculateFileState | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Started work on keeping some state in LSP server | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Added some LSP notifications support | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | First actually working version of LSP | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Refactored LSP into few modules | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Added initial version of lsp | Simon Van Casteren | 2019-12-13 |
| | | | | |||
| | * | | Merge remote-tracking branch 'origin/master' into typeOf | Simon Van Casteren | 2019-12-13 |
| | |\ \ | |||
| * | | | | Improve error messages | Davor Ocelic | 2019-12-12 |
| | |/ / | |/| | | |||
* | | | | Unix sockets: use platform-agnostic include file | Davor Ocelic | 2019-12-10 |
| | | | | |||
* | | | | Add UNIX socket support and a new '-u' option to specify socket filename to bind | Davor Ocelic | 2019-12-10 |
|/ / / | |||
* | | | SQL SIMILAR (via pg_trgm) | Adam Chlipala | 2019-12-04 |
| | | | |||
* | | | Fix for #181: unurlify x-www-form-urlencoded without custom serialization ↵ | Simon Van Casteren | 2019-11-04 |
| | | | | | | | | | | | | using period | ||
* | | | Undo a questionable optimization, almost 10 years later (closes #179) | Adam Chlipala | 2019-10-13 |
| | | | |||
* | | | Update urlification of unit values for RPC results, to track a previous ↵ | Adam Chlipala | 2019-10-07 |
| | | | | | | | | | | | | change elsewhere |