summaryrefslogtreecommitdiff
path: root/Source/GPUVerify
Commit message (Expand)AuthorAge
* 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
* A few fixes to get GPUVerify working with OpenCL front-end.Gravatar Unknown2011-12-15
* Some fixes to get GPUVerify close to working with OpenCL.Gravatar Unknown2011-12-09
* Changed names of builtins to make them generic.Gravatar Unknown2011-12-07
* Generating useful, and guarateed by construction, postconditions and loop inv...Gravatar Unknown2011-11-21
* Small fix.Gravatar Unknown2011-11-16
* Better support for race-checking contractsGravatar Unknown2011-11-16
* Some fixes for race checking contractsGravatar Unknown2011-11-15
* Modified solution to build on all platforms.Gravatar Unknown2011-11-15
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 07:45:44 +0000