diff options
| author |  kyessenov <unknown> | 2010-08-19 07:50:20 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-08-19 07:50:20 +0000 |
| commit | 4822eacf46b31d979dd2e3a0a166fce95f5fb40e (patch) | |
| tree | 9af61783d8bab930c91da6cb930fb9f0170b4475 /Test/test13 | |
| parent | 4e443093fa3e0f17ec0525226bd4075cf18feb18 (diff) | |
Chalice:
* added loop transform pattern
* implemented translation of refined loops to Boogie (only assert new loop invariants)
* refactored loop target computation code (async call was not handled as maybe some other statement)
Diffstat (limited to 'Test/test13')
0 files changed, 0 insertions, 0 deletions