Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Barriers now handled uniformly via bugle_barrier. | 2012-08-30 | |
* | Unstructured and smart predication are now default options for GPUVerify. | 2012-08-09 | |
* | Implemented Houdini-based pointer analysis. Made inter-group race checking d... | 2012-07-20 | |
* | 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 |