summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Support endpoints generation for urpless invocations (closes #187)Gravatar Adam Chlipala2019-12-16
|
* Merge pull request #183 from docelic/masterGravatar Adam Chlipala2019-12-15
|\ | | | | Add UNIX socket support and '-u' option to specify socket filename
| * 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
| |
| * * When htmlifying characters, don't use numeric escapes if they'reGravatar Oisín Mac Fhearaí2019-08-11
|/ | | | | printable -- instead, try to convert them to UTF-8. * Add libicuio to linked C libraries
* Datetime.ord_monthGravatar Adam Chlipala2019-08-10
|
* Flush output on loggingGravatar Adam Chlipala2019-08-04
|
* Remove a misleading comment (#175)Gravatar Adam Chlipala2019-07-26
|
* New JavaScript FFI function 'listen'Gravatar Adam Chlipala2019-07-17
|
* Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2019-07-06
|\
* | Fix subsignature checking for mutually recursive typesGravatar Adam Chlipala2019-07-06
| |
| * Make uw_set_error_message actually act printf-yGravatar Adam Chlipala2019-07-04
|/
* MySQL forces NOT NULL TIMESTAMPs to have default valuesGravatar Adam Chlipala2019-05-31
|
* Retool handling of text keys in MySQLGravatar Adam Chlipala2019-05-31
|
* MySQL doesn't need us to ask for InnoDB anymoreGravatar Adam Chlipala2019-05-31
|
* Filecache support for MySQLGravatar Adam Chlipala2019-05-31
|
* Catch clashing rewritten URL prefixesGravatar Adam Chlipala2019-04-15
|
* Generate primary key constraints with normal CONSTRAINT clauses (initial ↵Gravatar Adam Chlipala2019-04-13
| | | | motivation: apgdiff only supports this new form)
* Urlify unit values as underscores, to avoid confusing parserGravatar Adam Chlipala2019-04-09
|
* Allow Basis.currentUrl on client sideGravatar Adam Chlipala2019-03-30
|
* Ensure compilation fails even if the only problem is a missing source fileGravatar Adam Chlipala2019-03-30
|
* Don't escape slashes for JSONGravatar Adam Chlipala2019-03-27
|
* Supporting 'char' arguments to handlers called from client codeGravatar Adam Chlipala2019-03-23
|
* Allow dollar-sign shortcuts for 'file' and 'jsFile' directivesGravatar Adam Chlipala2019-03-16
|