summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| | * | | | Merge pull request #191 from JasonGross/patch-2Adam Chlipala2019-12-20
| | |\ \ \ \
| | * \ \ \ \ Merge branch 'master' of ssh://github.com/urweb/urwebAdam Chlipala2019-12-19
| | |\ \ \ \ \
| | * | | | | | Fix toJson for records with optional fieldsAdam Chlipala2019-12-19
| | | | * | | | Try using brew upgrade in TravisJason Gross2019-12-17
| | | |/ / / /
| | | * | | | Merge pull request #190 from FrigoEU/sscanfAdam Chlipala2019-12-17
| | |/| | | |
| | | * | | | Remove sscanf from blob processingSimon Van Casteren2019-12-17
| | |/ / / /
| | * | | | Support endpoints generation for urpless invocations (closes #187)Adam Chlipala2019-12-16
| | * | | | Merge pull request #183 from docelic/masterAdam Chlipala2019-12-15
| | |\ \ \ \
| | | | | * | Added background threadsSimon Van Casteren2019-12-15
| | | | | * | Refactored state into its own moduleSimon Van Casteren2019-12-14
| | | | | * | Parse also FFi .urs filesSimon Van Casteren2019-12-13
| | | | | * | Fixed ppToStringSimon Van Casteren2019-12-13
| | | | | * | Always add text to fileState even if elabState throwsSimon Van Casteren2019-12-13
| | | | | * | Fixed JSON parsing: newline escapingSimon Van Casteren2019-12-13
| | | | | * | Added initializationOption to specify project if multiple urp filesSimon Van Casteren2019-12-13
| | | | | * | Moved json and lsp code into seperate modulesSimon Van Casteren2019-12-13
| | | | | * | Trial version of completing table fieldsSimon Van Casteren2019-12-13
| | | | | * | Added completion suggestions for typesSimon Van Casteren2019-12-13
| | | | | * | Added textDocument_didCloseSimon Van Casteren2019-12-13
| | | | | * | Last tweak to datatype constructors autocompleteSimon Van Casteren2019-12-13
| | | | | * | Tweaks to autocompletion of datatype constructorsSimon Van Casteren2019-12-13
| | | | | * | Added tracking of text of source files and autocompleteSimon Van Casteren2019-12-13
| | | | | * | Integrated getInfo into LSPSimon Van Casteren2019-12-13
| | | | | * | Use elabFile completely instead of rebuilding it partiallySimon Van Casteren2019-12-13
| | | | | * | Fixed parsing errors and loading of interfacesSimon Van Casteren2019-12-13
| | | | | * | Add parse error commentSimon Van Casteren2019-12-13
| | | | | * | First working version of publishDiagnosticsSimon Van Casteren2019-12-13
| | | | | * | First publishDiagnostics implementationSimon Van Casteren2019-12-13
| | | | | * | First version of calculateFileStateSimon Van Casteren2019-12-13
| | | | | * | Started work on keeping some state in LSP serverSimon Van Casteren2019-12-13
| | | | | * | Add shell.nixSimon Van Casteren2019-12-13
| | | | | * | Added some LSP notifications supportSimon Van Casteren2019-12-13
| | | | | * | First actually working version of LSPSimon Van Casteren2019-12-13
| | | | | * | Refactored LSP into few modulesSimon Van Casteren2019-12-13
| | | | | * | Added initial version of lspSimon Van Casteren2019-12-13
| | | | | * | Added openSSL dev files to nixSimon Van Casteren2019-12-13
| | | | | * | Added nix filesSimon Van Casteren2019-12-13
| | | | | * | Merge remote-tracking branch 'origin/master' into typeOfSimon Van Casteren2019-12-13
| | | | | |\ \ | | | |_|_|/ / | | |/| | | |
| | | | * | | Improve error messagesDavor Ocelic2019-12-12
| | | |/ / / | | |/| | |
| | | * | | Unix sockets: use platform-agnostic include fileDavor Ocelic2019-12-10
| | | * | | Add UNIX socket support and a new '-u' option to specify socket filename to bindDavor Ocelic2019-12-10
| | |/ / /
| | * | | SQL SIMILAR (via pg_trgm)Adam Chlipala2019-12-04
| | * | | Json: expose RFC 3339 functionsAdam Chlipala2019-11-08
| | * | | Merge pull request #182 from FrigoEU/181Adam Chlipala2019-11-08
| | |\ \ \
| | | * | | Fix for #181: unurlify x-www-form-urlencoded without custom serialization usi...Simon Van Casteren2019-11-04
| | |/ / /
| | * | | Undo a questionable optimization, almost 10 years later (closes #179)Adam Chlipala2019-10-13
| | * | | JSON instance for times, based on RFC 3339 (because Google APIs use it)Adam Chlipala2019-10-11
| | * | | JSON records with optional fieldsAdam Chlipala2019-10-11
| | * | | Update urlification of unit values for RPC results, to track a previous chang...Adam Chlipala2019-10-07
| | * | | Optimize JSON unescaping for server-side executionAdam Chlipala2019-10-05