diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-06-27 21:19:31 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-27 21:19:31 +0100 |
| commit | a6890cd19f416a548df8f13fde3e0bdd8adbc844 (patch) | |
| tree | 518b4ebb2fab726f664d4e7b3e7f8cc36fd5aa65 /_admin | |
| parent | 875484286cd181f202d19e551e57d29d7c74952f (diff) | |
GPUVerify: when building offset predicates, skip unsubstitutable offsets
Fixes Bugzilla bug #65.
Diffstat (limited to '_admin')
0 files changed, 0 insertions, 0 deletions