Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |