Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Inter-thread race checking implementation done. | 2012-06-14 | |
* | GPUVerify: in unstructured mode, disable uniformity analysis and return conse... | 2012-05-25 | |
* | Fixed bug with handling of return in GPUVerify. | 2012-04-03 | |
* | Added support for break and return. | 2012-04-03 | |
* | Added "may be tid" analysis. | 2012-03-24 | |
* | Fixed some bugs in uniformity analysis - now passes GPUVerify test suite. | 2012-03-24 | |
* | Using uniform expression analysis in GPUVerify - also did some major refactor... | 2012-03-24 | |
* | Added uniform expression analysis, and started using it to do less predication. | 2012-03-23 |