diff options
| author |  stefanheule <unknown> | 2011-07-18 11:50:29 +0200 |
|---|---|---|
| committer | stefanheule <unknown> | 2011-07-18 11:50:29 +0200 |
| commit | 186b3e2e4a8b461212f9b97255b5f64d045df23f (patch) | |
| tree | 0f4b495540d05df739c2e684f14831f4e3f66528 /Source/Boogie.sln | |
| parent | e8272220e94c52a8425cba727bebb5f7050405ab (diff) | |
Chalice: Also exhale correctly in two steps for multiple contracts (e.g. two preconditions), and include missing well-formedness assumption afer async method calls.
Diffstat (limited to 'Source/Boogie.sln')
0 files changed, 0 insertions, 0 deletions