diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-06-08 19:30:25 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-08 19:30:25 +0100 |
| commit | 13d31d4e91c4d15506069e73d62573cb566abbaf (patch) | |
| tree | 464c671a3e3ec7456dfb97d41eb582e6c366d8af /BCT/RegressionTests | |
| parent | 41c3e29e101a76982e82756b2f3bc679e60d13ac (diff) | |
GPUVerify: teach the array control flow analyser to handle unstructured programs
Diffstat (limited to 'BCT/RegressionTests')
0 files changed, 0 insertions, 0 deletions