summaryrefslogtreecommitdiff
path: root/Source/GPUVerify
Commit message (Expand)AuthorAge
* Refactoring, and work on race checking contractsGravatar Unknown2011-11-09
* moved GPUVerify into its own solutionGravatar qadeer2011-11-08
* Additions to GPU Verify for paper submission.Gravatar Unknown2011-11-08
* Started working on inter-procedural inferenceGravatar Unknown2011-09-30
* Changes to GPUVerifyGravatar Unknown2011-09-30
* Refactoring and reorganisation of GPUVerifyGravatar Unknown2011-09-30
* Added missing filesGravatar Unknown2011-09-29
* Made use of Houdini optionalGravatar Unknown2011-09-29
* Progress on GPUVerifyGravatar Unknown2011-09-27
* Various changes to GPUVerifyGravatar Unknown2011-09-08
* 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