diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-07 18:40:18 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-07 18:54:42 +0100 |
| commit | 861ec0bdbe8be5e327b5082102c646882cd23383 (patch) | |
| tree | e70d59d5936d267397a48df40e76032eb7e4d097 /stm/vio_checking.ml | |
| parent | a71aec672bc66a0e19752fa15d55bc2bd75ef3bc (diff) | |
STM: tolerate simple side effects in async proofs (Close: 4006)
Diffstat (limited to 'stm/vio_checking.ml')
0 files changed, 0 insertions, 0 deletions