summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* 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)
* Add primary keys to demoGravatar Adam Chlipala2009-04-07
|
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
|
* Enhance table sig item support and get demo compiling againGravatar Adam Chlipala2009-04-07
|
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
|
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
|
* Fixing some regressions and other bugsGravatar Adam Chlipala2009-04-05
|
* CHANGELOG before releaseGravatar Adam Chlipala2009-04-05
|
* Update the manualGravatar Adam Chlipala2009-04-05
|
* Initialize contexts a little more vigorouslyGravatar Adam Chlipala2009-04-05
|
* Chat demoGravatar Adam Chlipala2009-04-05
|
* RoundTrip demoGravatar Adam Chlipala2009-04-05
|
* Threads demoGravatar Adam Chlipala2009-04-05
|
* Avoid generating empty <script> blocksGravatar Adam Chlipala2009-04-05
|
* sleep and better ScriptcheckGravatar Adam Chlipala2009-04-04
|
* spawnGravatar Adam Chlipala2009-04-04
|
* _Really_ implement embedded closure GC; extend Scriptcheck to figure out ↵Gravatar Adam Chlipala2009-04-04
| | | | when client IDs must be assigned
* Fix overzealous Marshalcheck; garbage-collect string-embedded closures when ↵Gravatar Adam Chlipala2009-04-04
| | | | no dyns are active
* Checking spans in dynsGravatar Adam Chlipala2009-04-04
|
* Redo signal implementation to avoid memory leaksGravatar Adam Chlipala2009-04-02
|
* Make sure only one pull request runs at a time for each clientGravatar Adam Chlipala2009-04-02
|
* Detect serialization failuresGravatar Adam Chlipala2009-04-02
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 18:41:52 +0000