summaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
...
* | | Update urlification of unit values for RPC results, to track a previous chang...Gravatar Adam Chlipala2019-10-07
* | | 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
|/ / /
* | | 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
| * | 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
* | Catch clashing rewritten URL prefixesGravatar Adam Chlipala2019-04-15
* | Generate primary key constraints with normal CONSTRAINT clauses (initial moti...Gravatar Adam Chlipala2019-04-13
* | 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
* | 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
* | Lexer should track newlines properly inside XML commentsGravatar Adam Chlipala2019-03-03
* | Include memmem.h in distributionGravatar Adam Chlipala2019-02-17
* | Bump up maximum size for HTTP receive buffersGravatar Adam Chlipala2019-01-30
* | Fix build error.Gravatar Artyom Shalkhakov2019-01-27
* | Merge branch 'master' of https://github.com/urweb/urweb into endpointsGravatar Artyom Shalkhakov2019-01-27
|\ \
| * \ Merge pull request #168 from fabriceleal/fix-codepoint-jsGravatar Adam Chlipala2019-01-26
| |\ \
| * | | Basis.textOfBlob; try creating filecache directory if it doesn't existGravatar Adam Chlipala2019-01-21
| | * | fixes for review 1Gravatar fab2019-01-21
| * | | getenv is benignGravatar Adam Chlipala2019-01-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-01 17:41:30 +0000