summaryrefslogtreecommitdiff
path: root/src/effectize.sml
Commit message (Collapse)AuthorAge
* Treat getHeader and getenv as vectors for reading request data supplied ↵Gravatar Adam Chlipala2015-02-05
| | | | implicitly by browsers
* Start SQL transactions as read-only when possible, based on conservative ↵Gravatar Adam Chlipala2013-12-12
| | | | program analysis
* Make that error message even more helpfulGravatar Adam Chlipala2013-07-17
|
* Make that new error message text a bit more accurateGravatar Adam Chlipala2013-07-17
|
* Tweak error message about naughty GET handlersGravatar Adam Chlipala2013-07-17
|
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
|
* Fix soundness bug in Effectize, which lead to missing effects in event handlersGravatar Adam Chlipala2011-03-18
|
* Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat ↵Gravatar Adam Chlipala2011-03-10
| | | | carriage returns at line ends in .urp files
* queryString and effectfulUrlGravatar Adam Chlipala2010-12-26
|
* Fix soundness bug in Effectize, where it missed some functions that might ↵Gravatar Adam Chlipala2010-12-23
| | | | have effectful RPCs
* postBody typeGravatar Adam Chlipala2010-12-18
|
* safeGetGravatar Adam Chlipala2010-03-09
|
* Basis.serialize; separate file for mhash; run transactional finishers in ↵Gravatar Adam Chlipala2009-12-31
| | | | reverse order; set needs_sig properly
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25
|
* Convert to requiring explicit 'rpc' markerGravatar Adam Chlipala2009-08-22
|
* Make Effectize more preciseGravatar Adam Chlipala2009-05-05
|
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
|
* Only use cookie signatures when cookies might be readGravatar Adam Chlipala2009-04-23
|
* Effectness analysisGravatar Adam Chlipala2009-04-16