log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/effectize.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
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
less
more
|
(0)
tip