summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| | * | | | More lenient RFC 3339 parsingGravatar Adam Chlipala2019-12-23
| | * | | | Merge pull request #191 from JasonGross/patch-2Gravatar Adam Chlipala2019-12-20
| | |\ \ \ \
| | * \ \ \ \ Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2019-12-19
| | |\ \ \ \ \
| | * | | | | | Fix toJson for records with optional fieldsGravatar Adam Chlipala2019-12-19
| | | | * | | | Try using brew upgrade in TravisGravatar Jason Gross2019-12-17
| | | |/ / / /
| | | * | | | Merge pull request #190 from FrigoEU/sscanfGravatar Adam Chlipala2019-12-17
| | |/| | | |
| | | * | | | Remove sscanf from blob processingGravatar Simon Van Casteren2019-12-17
| | |/ / / /
| | * | | | Support endpoints generation for urpless invocations (closes #187)Gravatar Adam Chlipala2019-12-16
| | * | | | Merge pull request #183 from docelic/masterGravatar Adam Chlipala2019-12-15
| | |\ \ \ \
| | | | | * | Added background threadsGravatar Simon Van Casteren2019-12-15
| | | | | * | Refactored state into its own moduleGravatar Simon Van Casteren2019-12-14
| | | | | * | Parse also FFi .urs filesGravatar Simon Van Casteren2019-12-13
| | | | | * | Fixed ppToStringGravatar Simon Van Casteren2019-12-13
| | | | | * | Always add text to fileState even if elabState throwsGravatar Simon Van Casteren2019-12-13
| | | | | * | Fixed JSON parsing: newline escapingGravatar Simon Van Casteren2019-12-13
| | | | | * | Added initializationOption to specify project if multiple urp filesGravatar Simon Van Casteren2019-12-13
| | | | | * | Moved json and lsp code into seperate modulesGravatar Simon Van Casteren2019-12-13
| | | | | * | Trial version of completing table fieldsGravatar Simon Van Casteren2019-12-13
| | | | | * | 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 usi...Gravatar Simon Van Casteren2019-11-04
| | |/ / /
| | * | | 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 chang...Gravatar Adam Chlipala2019-10-07