Mercurial > urweb
log src/export.sml
age | author | description |
---|---|---|
2013-12-12 | Adam Chlipala | Start SQL transactions as read-only when possible, based on conservative program analysis |
2010-12-18 | Adam Chlipala | postBody type |
2009-04-23 | Adam Chlipala | Only use cookie signatures when cookies might be read |
2009-04-16 | Adam Chlipala | Effectness analysis |
2009-04-16 | Adam Chlipala | Label exported symbols by effect-ness; factor out some common datatypes |