Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Start SQL transactions as read-only when possible, based on conservative prog... | Adam Chlipala | 2013-12-12 |
* | postBody type | Adam Chlipala | 2010-12-18 |
* | Only use cookie signatures when cookies might be read | Adam Chlipala | 2009-04-23 |
* | Effectness analysis | Adam Chlipala | 2009-04-16 |
* | Label exported symbols by effect-ness; factor out some common datatypes | Adam Chlipala | 2009-04-16 |