Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |