diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-02 17:58:49 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-02 17:58:49 -0700 |
| commit | 7b150dbbb8cb50e7ac6085ad2cb0459dca0667ff (patch) | |
| tree | 2c1895a7cbe4e638b1a5f5c595cc9864f9fca7db /Source/GPUVerify.sln | |
| parent | 6489805cff9bc62d1933ca31a0307dbd43cd60e9 (diff) | |
Dafny: handle decreases clause for iterators
Diffstat (limited to 'Source/GPUVerify.sln')
0 files changed, 0 insertions, 0 deletions