diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-05 17:26:44 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-05 17:26:44 +0100 |
| commit | fde61624bc8b47a947d0da8a76632e8b8aeaacb6 (patch) | |
| tree | f3bb761d550455594937f44251cc93fba77329fa /README.md | |
| parent | aef3a0dbd0ac676bf7aa6428587f26ad5a945879 (diff) | |
Patch by Jeroen Ketema.
Drop the “basic” block predication algorithm. Block predication is only used
by GPUVerify, and then only in the “smart” version as the basic algorithm does
not perform very well. As a consequence this code is essentially dead.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions