summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Added nix filesGravatar Simon Van Casteren2019-12-13
* Merge remote-tracking branch 'origin/master' into typeOfGravatar Simon Van Casteren2019-12-13
|\
| * 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
| * Optimize JSON unescaping for server-side executionGravatar Adam Chlipala2019-10-05
| * JavaScript 'currentUrl' should return a string, not a URL, since the latter h...Gravatar Adam Chlipala2019-10-04
| * Merge pull request #180 from mclements/masterGravatar Adam Chlipala2019-10-04
| |\
| | * 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 concr...Gravatar Adam Chlipala2019-09-18
| * 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
| |\
| * | 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 UT...Gravatar Oisín Mac Fhearaí2019-08-28
| * | 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
| |/
| * Datetime.ord_monthGravatar Adam Chlipala2019-08-10
| * Flush output on loggingGravatar Adam Chlipala2019-08-04
* | Cleaned up elisp and added dependenciesGravatar FrigoEU2019-08-03
* | Added emacs functions for getInfoGravatar FrigoEU2019-08-03
* | Added comments and extracted typeOf/getInfo into seperate moduleGravatar FrigoEU2019-08-03
* | Removed some unnecessary printsGravatar FrigoEU2019-08-03
* | Improved typeOf searching and handling of Top and BasisGravatar FrigoEU2019-08-01
* | Added file check to typeOf and always add Top and Basis to env in typeOfGravatar FrigoEU2019-08-01
* | first iteration of "typeOf" commandGravatar FrigoEU2019-07-31
* | Removed MISSED_DEP printGravatar FrigoEU2019-07-29
* | Don't use interfaces anymore for ModDb validity, but check for undetermined u...Gravatar FrigoEU2019-07-29
| * Remove a misleading comment (#175)Gravatar Adam Chlipala2019-07-26
| * New JavaScript FFI function 'listen'Gravatar Adam Chlipala2019-07-17
* | First iteration of more detailed elaboration cachingGravatar FrigoEU2019-07-07
|/
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 09:41:32 +0000