summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Subforms type-checks; lists urlified and unurlifiedGravatar Adam Chlipala2009-04-30
|
* Basis.listGravatar Adam Chlipala2009-04-30
|
* SubformsGravatar Adam Chlipala2009-04-28
|
* Views in CHANGELOGGravatar Adam Chlipala2009-04-28
|
* A view query worksGravatar Adam Chlipala2009-04-28
|
* Preparing to allow views in SELECT FROM clausesGravatar Adam Chlipala2009-04-28
|
* Outer joins in CHANGELOGGravatar Adam Chlipala2009-04-28
|
* RIGHT and FULL JOINGravatar Adam Chlipala2009-04-28
|
* LEFT JOINGravatar Adam Chlipala2009-04-28
|
* INNER JOINGravatar Adam Chlipala2009-04-28
|
* Switch to using sql_from_itemsGravatar Adam Chlipala2009-04-28
|
* Extra checks on assumptions about SQL resultsGravatar Adam Chlipala2009-04-26
|
* sql_ufunc and octet_lengthGravatar Adam Chlipala2009-04-26
|
* blobSizeGravatar Adam Chlipala2009-04-26
|
* Blobs in CHANGELOGGravatar Adam Chlipala2009-04-26
|
* Handling nullable blobsGravatar Adam Chlipala2009-04-26
|
* Reading blobs from the databaseGravatar Adam Chlipala2009-04-26
|
* Returning a blob as page resultGravatar Adam Chlipala2009-04-26
|
* Add MIME type to fileGravatar Adam Chlipala2009-04-25
|
* Only allow single-file upload per controlGravatar Adam Chlipala2009-04-25
|
* Prepared statements with blobsGravatar Adam Chlipala2009-04-25
|
* Initial support for blobs and uploadGravatar Adam Chlipala2009-04-25
|
* Cookie signatures for RPCsGravatar Adam Chlipala2009-04-23
|
* Only use cookie signatures when cookies might be readGravatar Adam Chlipala2009-04-23
|
* Cookie signing working for formsGravatar Adam Chlipala2009-04-16
|
* Add more buttons to demo, to avoid effectful GETGravatar Adam Chlipala2009-04-16
|
* Effectness analysisGravatar Adam Chlipala2009-04-16
|
* Label exported symbols by effect-ness; factor out some common datatypesGravatar Adam Chlipala2009-04-16
|
* POST supportGravatar Adam Chlipala2009-04-16
|
* Some client-side error handlingGravatar Adam Chlipala2009-04-16
|
* Avoid thread death via message receiveGravatar Adam Chlipala2009-04-16
|
* Show XMLGravatar Adam Chlipala2009-04-16
|
* onErrorGravatar Adam Chlipala2009-04-16
|
* Catching duplicate cookie and style pathsGravatar Adam Chlipala2009-04-16
|
* <link>Gravatar Adam Chlipala2009-04-16
|
* Simplify type class requirement for tree demoGravatar Adam Chlipala2009-04-13
|
* Tiny increment to style testGravatar Adam Chlipala2009-04-12
|
* Classes as optional arguments to Basis.tagGravatar Adam Chlipala2009-04-12
|
* Stop tracking CSS classes in XML typesGravatar Adam Chlipala2009-04-12
|
* hello compiles with CSSGravatar Adam Chlipala2009-04-12
|
* style declarationsGravatar Adam Chlipala2009-04-12
|
* URLsGravatar Adam Chlipala2009-04-09
|
* Update CHANGELOGGravatar Adam Chlipala2009-04-09
|
* Use FOREIGN KEY in Tree demoGravatar Adam Chlipala2009-04-09
|
* CHECK constraintsGravatar Adam Chlipala2009-04-09
|
* Retry failed record summary unifications at the end, in hopes that more has ↵Gravatar Adam Chlipala2009-04-09
| | | | been learned
* More flexible foreign keyingGravatar Adam Chlipala2009-04-09
|
* Made type class system very general; demo compilesGravatar Adam Chlipala2009-04-09
|
* Get demo type-inferring againGravatar Adam Chlipala2009-04-07
|
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵Gravatar Adam Chlipala2009-04-07
| | | | lingering problems in row inference)