diff options
| author |  qadeer <unknown> | 2010-09-10 07:42:17 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-09-10 07:42:17 +0000 |
| commit | 30181ba4213413c32459d0f0de2ec77ed939c2dd (patch) | |
| tree | 10f2751378bf82f73d7b078ac71120af446d0da0 /_admin/Boogie/aste/summary.log | |
| parent | 34b52bfc6d4e62a7e8f8c71839952a386b372de2 (diff) | |
added an optimization to extract loops so that only loop targets are treated as output variables of the extracted procedure.
Diffstat (limited to '_admin/Boogie/aste/summary.log')
0 files changed, 0 insertions, 0 deletions