log src/effectize.sml

age author description
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