summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Merge branch 'upstream' into dfsg_clean20200209+dfsgdfsg_cleanBenjamin Barenblat2020-05-30
|\
| * Stop putting extraneous files in release tarballs20200209Adam Chlipala2020-02-09
| * New releaseAdam Chlipala2020-02-09
| * List.foldliAdam Chlipala2020-02-07
| * Fix signature matching of an imported datatype vs. a fresh datatypeAdam Chlipala2020-02-07
| * Merge pull request #196 from mdempsky/manual-editsAdam Chlipala2020-02-06
| |\
| | * Remove superfluous lambdas before guarded typesMatthew Dempsky2020-02-04
| | * Fix typos in kinding judgmentsMatthew Dempsky2020-02-04
| | * Fix record type shorthandMatthew Dempsky2020-02-04
| |/
| * Merge pull request #194 from mdempsky/manual-tweaksAdam Chlipala2020-01-27
| |\
| | * Elaborate e^* and e^+ syntaxMatthew Dempsky2020-01-22
| | * Consistently introduce application syntax before abstractionMatthew Dempsky2020-01-22
| | * Kind variables must be bracketed in expression-level bindersMatthew Dempsky2020-01-22
| * | Merge pull request #193 from mdempsky/monad-kindAdam Chlipala2020-01-21
| |\ \ | | |/ | |/|
| | * monad has kind (Type->Type)->Type, not just Type->TypeMatthew Dempsky2020-01-21
| |/
| * Merge pull request #192 from mdempsky/manual-typoAdam Chlipala2020-01-19
| |\
| | * Fix documentation typoMatthew Dempsky2020-01-19
| |/
| * Merge pull request #136 from dredozubov/anchor-linksAdam Chlipala2020-01-15
| |\
| * \ Merge pull request #186 from FrigoEU/lspAdam Chlipala2020-01-15
| |\ \
| | * | Added some documentation for the LSP server to the manualSimon Van Casteren2020-01-15
| | * | LSP: Improved handling of datatypes from signaturesSimon Van Casteren2020-01-12
| * | | Merge pull request #185 from docelic/better-error-reportsAdam Chlipala2020-01-12
| |\ \ \
| | | * | Fixed review changes: Better foundInEnv naming, correct interpretation ofSimon Van Casteren2020-01-11
| | | * | Change findSmallestSpan to findClosestSpan: faster at 99% of times betterSimon Van Casteren2020-01-10
| * | | | At compile time, allow '#' as a URLAdam Chlipala2020-01-10
| | | * | Refactor to do all matching on strings, more precise and fasterSimon Van Casteren2020-01-10
| | | * | Fixed smaller review remarksSimon Van Casteren2020-01-08
| | | * | Allow simple .ur files to double as .urs files for LSPSimon Van Casteren2020-01-08
| | | * | Added some type sigs required by SMLNJSimon Van Casteren2020-01-08
| | | * | Add bg_thread.dummy.sml to mock MLton threads in sml/njSimon Van Casteren2020-01-08
| | | * | Return only unique diags + better formattingSimon Van Casteren2020-01-08
| | | * | Added some more stuff to lsp getInfo and completionsSimon Van Casteren2020-01-04
| * | | | More lenient RFC 3339 parsingAdam Chlipala2019-12-23
| * | | | 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