changeset | b4702145f8de |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers |
files |
changeset | 6745eafff617 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Start SQL transactions as read-only when possible, based on conservative program analysis |
files |
changeset | d54984564bcd |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Make that error message even more helpful |
files |
changeset | 38399d67a914 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Make that new error message text a bit more accurate |
files |
changeset | 2a0b9603d8af |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Tweak error message about naughty GET handlers |
files |
changeset | e15234fbb163 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Basis.tryRpc |
files |
changeset | b6df00ed536c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Fix soundness bug in Effectize, which lead to missing effects in event handlers |
files |
changeset | 66092ce45a76 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files |
files |
changeset | 44a12a321150 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | queryString and effectfulUrl |
files |
changeset | 7a436b6267ab |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Fix soundness bug in Effectize, where it missed some functions that might have effectful RPCs |
files |
changeset | b106ca8200b1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | postBody type |
files |
changeset | 9d3ccb8b39ac |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | safeGet |
files |
changeset | 72670131dace |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
files |
changeset | dfe34fad749d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | RPC uses VM support for call/cc |
files |
changeset | ed06e25c70ef |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Convert to requiring explicit 'rpc' marker |
files |
changeset | a44daa674810 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Make Effectize more precise |
files |
changeset | a28982de5645 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Successfully influenced effectful-ness status of FFI func |
files |
changeset | 5ccb67665d05 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Only use cookie signatures when cookies might be read |
files |
changeset | 5819fb63c93a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Effectness analysis |
files |