log src/effectize.sml

age author description
2015-02-05 Adam Chlipala Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
2013-12-12 Adam Chlipala Start SQL transactions as read-only when possible, based on conservative program analysis
2013-07-17 Adam Chlipala Make that error message even more helpful
2013-07-17 Adam Chlipala Make that new error message text a bit more accurate
2013-07-17 Adam Chlipala Tweak error message about naughty GET handlers
2013-04-16 Adam Chlipala Basis.tryRpc
2011-03-18 Adam Chlipala Fix soundness bug in Effectize, which lead to missing effects in event handlers
2011-03-11 Adam Chlipala Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
2010-12-26 Adam Chlipala queryString and effectfulUrl
2010-12-23 Adam Chlipala Fix soundness bug in Effectize, where it missed some functions that might have effectful RPCs
2010-12-18 Adam Chlipala postBody type
2010-03-09 Adam Chlipala safeGet
2009-12-31 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-08-22 Adam Chlipala Convert to requiring explicit 'rpc' marker
2009-05-05 Adam Chlipala Make Effectize more precise
2009-05-02 Adam Chlipala Successfully influenced effectful-ness status of FFI func
2009-04-23 Adam Chlipala Only use cookie signatures when cookies might be read
2009-04-16 Adam Chlipala Effectness analysis