summaryrefslogtreecommitdiff
path: root/Source/GPUVerify/Predicator.cs
Commit message (Expand)AuthorAge
* Made loop predicate invariant optionally generated.Gravatar Unknown2012-04-13
* Added invariant to predicated loops.Gravatar Unknown2012-04-10
* Fixed bug with handling of return in GPUVerify.Gravatar Unknown2012-04-03
* Added support for break and return.Gravatar Unknown2012-04-03
* Added "may be tid" analysis.Gravatar Unknown2012-03-24
* Using uniform expression analysis in GPUVerify - also did some major refactor...Gravatar Unknown2012-03-24
* Added uniform expression analysis, and started using it to do less predication.Gravatar Unknown2012-03-23
* Do not generate equality candidates for variables that are not in the mod set.Gravatar Unknown2012-03-22
* Race checking assertions are now added as invariants and pre/post conditions ...Gravatar Unknown2012-03-05
* Support for access annotations.Gravatar Unknown2012-03-01
* Adding support for annotations written in the OpenCL/CUDA kernels.Gravatar Unknown2012-02-29
* Predicated assumesGravatar Unknown2012-02-08
* Some fixes to get GPUVerify close to working with OpenCL.Gravatar Unknown2011-12-09
* Refactoring, and work on race checking contractsGravatar Unknown2011-11-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 13:30:33 +0000