summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
| | | | * | 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
| | | | | |
| | | | * | Added openSSL dev files to nixGravatar Simon Van Casteren2019-12-13
| | | | | |
| | | | * | Added nix filesGravatar 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
| | | |
| * | | Json: expose RFC 3339 functionsGravatar Adam Chlipala2019-11-08
| | | |
| * | | Merge pull request #182 from FrigoEU/181Gravatar Adam Chlipala2019-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 ↵Gravatar Simon Van Casteren2019-11-04
| |/ / / | | | | | | | | | | | | using period
| * | | Undo a questionable optimization, almost 10 years later (closes #179)Gravatar Adam Chlipala2019-10-13
| | | |
| * | | JSON instance for times, based on RFC 3339 (because Google APIs use it)Gravatar Adam Chlipala2019-10-11
| | | |
| * | | JSON records with optional fieldsGravatar Adam Chlipala2019-10-11
| | | |
| * | | Update urlification of unit values for RPC results, to track a previous ↵Gravatar Adam Chlipala2019-10-07
| | | | | | | | | | | | | | | | change elsewhere
| * | | Optimize JSON unescaping for server-side executionGravatar Adam Chlipala2019-10-05
| | | |
| * | | JavaScript 'currentUrl' should return a string, not a URL, since the latter ↵Gravatar Adam Chlipala2019-10-04
| | | | | | | | | | | | | | | | has a completeley different sort of 'replace' method
| * | | Merge pull request #180 from mclements/masterGravatar Adam Chlipala2019-10-04
| |\ \ \ | | | | | | | | | | Add Step attribute to crange; fix tests for cnumber and crange
| | * | | Add Step attribute to crange; fix tests for cnumber and crangeGravatar Mark Clements2019-10-04
| |/ / /
| * | | 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 ↵Gravatar Adam Chlipala2019-09-18
| | | | | | | | | | | | | | | | concrete constructors
| * | | 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
| |\ \ \ | | | | | | | | | | Try to use UTF-8 rather than numeric HTML escapes
| * | | | 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 ↵Gravatar 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 patternsGravatar Adam Chlipala2019-08-17
| | | | |
| | * | | Try to avoid a pointer conversion errorGravatar Oisín Mac Fhearaí2019-08-11
| | | | |
| | * | | Add missing includeGravatar Oisín Mac Fhearaí2019-08-11
| | | | |