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 /Util | |
| parent | 3b57fa1048df3e39c7f6c03a8ef6285679aca147 (diff) | |
GPUVerify: emit non-uniform loop candidate invariant
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions