summaryrefslogtreecommitdiff
path: root/Source/GPUVerify
Commit message (Expand)AuthorAge
* Get Boogie and GPUVerify to compile and run with MonoGravatar Peter Collingbourne2012-05-02
* Started refactoring invariant generation rules.Gravatar Unknown2012-04-24
* Removed set encoding.Gravatar Unknown2012-04-24
* Significantly changed the way race checking is performed. Made eager race ch...Gravatar Unknown2012-04-24
* removed BoogieDriver from solutionGravatar qadeer2012-04-18
* Made loop predicate invariant optionally generated.Gravatar Unknown2012-04-13
* Added invariant to predicated loops.Gravatar Unknown2012-04-10
* Minor fix to array control flow analysis.Gravatar Unknown2012-04-10
* Inference in GPUVerify now merges candidates for threads 1 and 2 into a singl...Gravatar Unknown2012-04-10
* Don't insert final barrier when eager race checking is enabled.Gravatar paulthomson2012-04-09
* Tweak to inference.Gravatar Unknown2012-04-09
* More accessed offset inferenceGravatar Unknown2012-04-09
* Refined assertion.Gravatar Unknown2012-04-06
* Tuned candidate generation.Gravatar Unknown2012-04-06
* Extended GPUVerify's candidate invariant generation to use thread id inference.Gravatar Unknown2012-04-05
* Inference of thread ids complete.Gravatar Unknown2012-04-05
* Thread id inference now generalised to infer other thread configuration param...Gravatar Unknown2012-04-05
* Thread id inference now generalised to three dimensions.Gravatar Unknown2012-04-05
* Started generalising thread id inferenceGravatar Unknown2012-04-05
* GPUverify now automatically decides then to use adversarial abstraction.Gravatar Unknown2012-04-05
* Fixed bug with handling of return in GPUVerify.Gravatar Unknown2012-04-03
* Added support for break and return.Gravatar Unknown2012-04-03
* Fixed bug with GPUVerify precondition generationGravatar Unknown2012-03-30
* Improved invariant inference.Gravatar Unknown2012-03-28
* Started adding another invariant generation analysis.Gravatar Unknown2012-03-26
* Started on live variable analysis in GPUVerifyGravatar Unknown2012-03-26
* Added "may be power of two" analysis.Gravatar Unknown2012-03-25
* Added "may be tid" analysis.Gravatar Unknown2012-03-24
* Fixed some bugs in uniformity analysis - now passes GPUVerify test suite.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
* Cleaned up some GPUVerify code.Gravatar Unknown2012-03-22
* Added the option to let user determine whether or not GPUVerify should add in...Gravatar Unknown2012-03-19
* Support for arrays with arbitrary indicesGravatar Unknown2012-03-18
* Improved kernel precondition generationGravatar Unknown2012-03-17
* Added support for further annotationsGravatar Unknown2012-03-16
* Race checking assertions are now added as invariants and pre/post conditions ...Gravatar Unknown2012-03-05
* Support for __all and __at_most_one annotationsGravatar Unknown2012-03-04
* More annotation supportGravatar Unknown2012-03-04
* Support for access annotations.Gravatar Unknown2012-03-01
* Added missing files.Gravatar Unknown2012-02-29
* Adding support for annotations written in the OpenCL/CUDA kernels.Gravatar Unknown2012-02-29
* Fixed compilation problems in GPUVerifyGravatar Unknown2012-02-28
* Added support for invariants in GPUVerify input.Gravatar Unknown2012-02-28
* Small fix to previous commit.Gravatar paulthomson2012-02-13
* Allow any file extension, but give warning if it is not .gbplGravatar paulthomson2012-02-10
* Fix: Check for duplicate special constants (with attributes).Gravatar paulthomson2012-02-09
* Predicated assumesGravatar Unknown2012-02-08
* Support for language-specific thread ids.Gravatar Unknown2012-02-07