Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | * | | 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 | |
| | | |\ \ | |_|_|/ / |/| | | | | ||||
| | * | | | 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 | |
| | | | ||||
* | | | 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 | |
| | | | ||||
| * | | Cleaned up elisp and added dependencies | FrigoEU | 2019-08-03 | |
| | | | ||||
| * | | Added emacs functions for getInfo | FrigoEU | 2019-08-03 | |
| | | | ||||
| * | | Added comments and extracted typeOf/getInfo into seperate module | FrigoEU | 2019-08-03 | |
| | | | ||||
| * | | Removed some unnecessary prints | FrigoEU | 2019-08-03 | |
| | | | ||||
| * | | Improved typeOf searching and handling of Top and Basis | FrigoEU | 2019-08-01 | |
| | | | ||||
| * | | Added file check to typeOf and always add Top and Basis to env in typeOf | FrigoEU | 2019-08-01 | |
| | | | ||||
| * | | first iteration of "typeOf" command | FrigoEU | 2019-07-31 | |
| | | | ||||
| * | | Removed MISSED_DEP print | FrigoEU | 2019-07-29 | |
| | | | ||||
| * | | Don't use interfaces anymore for ModDb validity, but check for undetermined ↵ | FrigoEU | 2019-07-29 | |
| | | | | | | | | | | | | unif vars | |||
* | | | Remove a misleading comment (#175) | Adam Chlipala | 2019-07-26 | |
| | | | ||||
* | | | New JavaScript FFI function 'listen' | Adam Chlipala | 2019-07-17 | |
| | | |