summaryrefslogtreecommitdiff
path: root/Source/GPUVerify/BlockPredicator.cs
Commit message (Expand)AuthorAge
* Move block predicator to VCGenerationGravatar Peter Collingbourne2012-06-18
* GPUVerify: block predicator: add a mode which disables procedure predicatesGravatar Peter Collingbourne2012-06-18
* GPUVerify: revert ac36537a0eb8, as this is in fact a candidate invariant (e.g...Gravatar Peter Collingbourne2012-06-15
* GPUVerify: the non-uniform loop invariant is not a candidate invariantGravatar Peter Collingbourne2012-06-12
* GPUVerify: emit non-uniform loop candidate invariantGravatar Peter Collingbourne2012-06-11
* GPUVerify: emit "uniform loop" candidate invariantGravatar Peter Collingbourne2012-06-11
* GPUVerify: fix line endingsGravatar Peter Collingbourne2012-06-08
* GPUVerify: block predicator: use the name '_P' for the procedure predicate fo...Gravatar Peter Collingbourne2012-06-07
* GPUVerify: emit assumes for backedgesGravatar Peter Collingbourne2012-06-07
* GPUVerify: use Concat instead of PureCollections.Sequence.operator+Gravatar Peter Collingbourne2012-05-31
* GPUVerify: use a Formal for procedure predicatesGravatar Peter Collingbourne2012-05-31
* GPUVerify: implement assume stealing in block predicatorGravatar Peter Collingbourne2012-05-30
* GPUVerify: add block predicatorGravatar Peter Collingbourne2012-05-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-22 15:49:50 +0000