summaryrefslogtreecommitdiff
path: root/src/export.sml
Commit message (Expand)AuthorAge
* Start SQL transactions as read-only when possible, based on conservative prog...Gravatar Adam Chlipala2013-12-12
* postBody typeGravatar Adam Chlipala2010-12-18
* Only use cookie signatures when cookies might be readGravatar Adam Chlipala2009-04-23
* Effectness analysisGravatar Adam Chlipala2009-04-16
* Label exported symbols by effect-ness; factor out some common datatypesGravatar Adam Chlipala2009-04-16