Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Worked on cross-thread annotations. | 2012-07-03 | |
* | Started work on inter-group race checking. | 2012-06-14 | |
* | Using uniform expression analysis in GPUVerify - also did some major refactor... | 2012-03-24 | |
* | Support for __all and __at_most_one annotations | 2012-03-04 | |
* | Adding support for annotations written in the OpenCL/CUDA kernels. | 2012-02-29 | |
* | Refactoring and reorganisation of GPUVerify | 2011-09-30 | |
* | Added missing files | 2011-09-29 |