Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | |||
* | Add shell.nix | 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 |
| | |||
* | Added openSSL dev files to nix | Simon Van Casteren | 2019-12-13 |
| | |||
* | Added nix files | Simon Van Casteren | 2019-12-13 |
| | |||
* | Merge remote-tracking branch 'origin/master' into typeOf | Simon Van Casteren | 2019-12-13 |
|\ | |||
| * | SQL SIMILAR (via pg_trgm) | Adam Chlipala | 2019-12-04 |
| | | |||
| * | Json: expose RFC 3339 functions | Adam Chlipala | 2019-11-08 |
| | | |||
| * | Merge pull request #182 from FrigoEU/181 | Adam Chlipala | 2019-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 ↵ | Simon Van Casteren | 2019-11-04 |
| |/ | | | | | | | using period | ||
| * | Undo a questionable optimization, almost 10 years later (closes #179) | Adam Chlipala | 2019-10-13 |
| | | |||
| * | JSON instance for times, based on RFC 3339 (because Google APIs use it) | Adam Chlipala | 2019-10-11 |
| | | |||
| * | JSON records with optional fields | Adam Chlipala | 2019-10-11 |
| | | |||
| * | Update urlification of unit values for RPC results, to track a previous ↵ | Adam Chlipala | 2019-10-07 |
| | | | | | | | | change elsewhere | ||
| * | Optimize JSON unescaping for server-side execution | Adam Chlipala | 2019-10-05 |
| | | |||
| * | JavaScript 'currentUrl' should return a string, not a URL, since the latter ↵ | Adam Chlipala | 2019-10-04 |
| | | | | | | | | has a completeley different sort of 'replace' method | ||
| * | Merge pull request #180 from mclements/master | Adam Chlipala | 2019-10-04 |
| |\ | | | | | | | Add Step attribute to crange; fix tests for cnumber and crange | ||
| | * | Add Step attribute to crange; fix tests for cnumber and crange | Mark Clements | 2019-10-04 |
| |/ | |||
| * | Unicode escapes in JSON | Adam Chlipala | 2019-09-25 |
| | | |||
| * | Desugaring of SQL constraints uses wildcards, so allow that even in signatures | Adam Chlipala | 2019-09-21 |
| | | |||
| * | Laxer wildcard restriction for signatures | Adam Chlipala | 2019-09-20 |
| | | |||
| * | Signatures should be allowed to use wildcards for kinds associated with ↵ | Adam Chlipala | 2019-09-18 |
| | | | | | | | | concrete constructors | ||
| * | Disallow wildcards in signatures (should help with #174) | Adam Chlipala | 2019-09-18 |
| | | |||
| * | More detailed error message for bad path kind spec (closes #178) | Adam Chlipala | 2019-09-14 |
| | | |||
| * | Merge pull request #177 from DestyNova/use-utf8-instead-of-escapes | Adam Chlipala | 2019-09-06 |
| |\ | | | | | | | Try to use UTF-8 rather than numeric HTML escapes | ||
| * | | urweb daemon restart | Adam Chlipala | 2019-08-30 |
| | | | |||
| * | | Smooth rough edges of daemon command-line behavior | Adam Chlipala | 2019-08-30 |
| | | | |||
| | * | PR suggestions (with thanks to @fabriceleal). | Oisín Mac Fhearaí | 2019-08-29 |
| | | | |||
| | * | Minor cleanup -- handle the case where we couldn't successfully generate a ↵ | Oisín Mac Fhearaí | 2019-08-28 |
| | | | | | | | | | | | | UTF8 codepoint by outputting a HTML escape (the default behaviour before for all multi-byte characters). | ||
| * | | Generic traversal for Elab should visit let-bound patterns | Adam Chlipala | 2019-08-17 |
| | | | |||
| | * | Try to avoid a pointer conversion error | Oisín Mac Fhearaí | 2019-08-11 |
| | | | |||
| | * | Add missing include | Oisín Mac Fhearaí | 2019-08-11 |
| | | | |||
| | * | * When htmlifying characters, don't use numeric escapes if they're | Oisín Mac Fhearaí | 2019-08-11 |
| |/ | | | | | | | | | printable -- instead, try to convert them to UTF-8. * Add libicuio to linked C libraries | ||
| * | Datetime.ord_month | Adam Chlipala | 2019-08-10 |
| | | |||
| * | Flush output on logging | Adam Chlipala | 2019-08-04 |
| | |