summaryrefslogtreecommitdiff
path: root/src/export.sig
Commit message (Collapse)AuthorAge
* Start SQL transactions as read-only when possible, based on conservative ↵Gravatar Adam Chlipala2013-12-12
| | | | program analysis
* 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