diff options
| author |  Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2012-04-05 09:23:01 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2012-04-05 09:23:01 +0100 |
| commit | b5af82dc559738906d5342ee5614d632c03a2c68 (patch) | |
| tree | e123b38981ef31b47ee5162a8674f5ef047c3409 /Source/GPUVerify.sln | |
| parent | fa2ef317c75e99cdaea43a70199d44e8e0137c1a (diff) | |
GPUverify now automatically decides then to use adversarial abstraction.
Diffstat (limited to 'Source/GPUVerify.sln')
0 files changed, 0 insertions, 0 deletions