Commit message (Expand) | Author | Age | |
---|---|---|---|
* | GPUVerify: implement generic reduced strength analysis for loop counters | 2012-06-26 | |
* | GPUVerify: refactor candidate invariant generators and analyses to use regions | 2012-06-07 | |
* | Started refactoring invariant generation rules. | 2012-04-24 | |
* | Inference in GPUVerify now merges candidates for threads 1 and 2 into a singl... | 2012-04-10 | |
* | Tweak to inference. | 2012-04-09 | |
* | GPUverify now automatically decides then to use adversarial abstraction. | 2012-04-05 | |
* | Improved invariant inference. | 2012-03-28 | |
* | Started adding another invariant generation analysis. | 2012-03-26 | |
* | Added "may be power of two" analysis. | 2012-03-25 | |
* | Added "may be tid" analysis. | 2012-03-24 | |
* | Using uniform expression analysis in GPUVerify - also did some major refactor... | 2012-03-24 |