diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-11 20:07:58 +0100 |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-11 20:07:58 +0100 |
commit | f146b1cf761b57aa573dfb0c3a892b40aa8486e9 (patch) | |
tree | d2644a5062319d4ee2d61bb846bcd004115f8675 /Source/Dafny/Scanner.cs | |
parent | 3b57fa1048df3e39c7f6c03a8ef6285679aca147 (diff) |
GPUVerify: emit non-uniform loop candidate invariant
Diffstat (limited to 'Source/Dafny/Scanner.cs')
0 files changed, 0 insertions, 0 deletions