summaryrefslogtreecommitdiff
path: root/Source/GPUVerify/CommandLineOptions.cs
Commit message (Expand)AuthorAge
* More accessed offset inferenceGravatar Unknown2012-04-09
* Started generalising thread id inferenceGravatar Unknown2012-04-05
* GPUverify now automatically decides then to use adversarial abstraction.Gravatar Unknown2012-04-05
* Started adding another invariant generation analysis.Gravatar 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
* Added the option to let user determine whether or not GPUVerify should add in...Gravatar Unknown2012-03-19
* Some fixes to get GPUVerify close to working with OpenCL.Gravatar Unknown2011-12-09
* Generating useful, and guarateed by construction, postconditions and loop inv...Gravatar Unknown2011-11-21
* Better support for race-checking contractsGravatar Unknown2011-11-16
* Refactoring, and work on race checking contractsGravatar Unknown2011-11-09
* Additions to GPU Verify for paper submission.Gravatar Unknown2011-11-08
* Changes to GPUVerifyGravatar Unknown2011-09-30
* Made use of Houdini optionalGravatar Unknown2011-09-29
* Progress on GPUVerifyGravatar Unknown2011-09-27
* Completed basic version of GPUVerify toolGravatar Unknown2011-09-07
* Added driver script and GPUVerify libary. The driver script works around the...Gravatar Unknown2011-09-06
* Added GPUVerify projectGravatar Unknown2011-09-02
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-22 06:30:06 +0000