diff options
| author | Enrico Tassi | 2014-02-10 15:39:46 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-02-10 18:04:10 +0100 |
| commit | fd9aa81ab6d48f99b461562d7e964a45a5a63b37 (patch) | |
| tree | 4a2557c60b8ce349b24b94a45abb2c6185e6385b /dev/base_include | |
| parent | 41845e6d4334eeaa7addf6b11f6cb4cda5a7f8cc (diff) | |
STM: be conservative w.r.t. proofs containing global side effects
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions