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
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