diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-10-24 17:51:18 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-10-24 17:51:18 -0700 |
| commit | 0c1097e880a5c81c1e3796ad2847beb224d9afbc (patch) | |
| tree | e9f0fd14a14b679411d128cea9ffcc26a1bdc632 /Source/Forro | |
| parent | a432e458485a9e0483b573f8902cfe4c20ac4dea (diff) | |
Dafny: check subrange restriction in parallel Assign statement
Dafny: verify parallel Call statement
Dafny: fixed some bugs: handle all cases of comprehension expressions in resolver's UsesSpecFeatures, check target of method calls to be non-null (duh!)
Diffstat (limited to 'Source/Forro')
0 files changed, 0 insertions, 0 deletions