summaryrefslogtreecommitdiff
path: root/Source/GPUVerify/MayBePowerOfTwoAnalyser.cs
Commit message (Expand)AuthorAge
* GPUVerify: refactor candidate invariant generators and analyses to use regionsGravatar Peter Collingbourne2012-06-07
* GPUVerify: teach analyses, dualiser and race instrumenter about assigns with ...Gravatar Peter Collingbourne2012-05-31
* Added "may be power of two" analysis.Gravatar Unknown2012-03-25