summaryrefslogtreecommitdiff
path: root/Source/GPUVerify/Main.cs
Commit message (Expand)AuthorAge
* Some more code cleanup related to removal of the "divided" option.Gravatar Unknown2012-08-13
* Removed code related to "divided" option.Gravatar Unknown2012-08-13
* Implemented Houdini-based pointer analysis. Made inter-group race checking d...Gravatar Unknown2012-07-20
* GPUVerify: merge ElementEncodingRaceInstrumenter into RaceInstrumenterGravatar Peter Collingbourne2012-06-22
* GPUVerify: if one input file is supplied, choose output file name more intell...Gravatar Peter Collingbourne2012-06-08
* GPUVerify: implement a set of BV operation constructors which insert a functi...Gravatar Peter Collingbourne2012-05-25
* Removed set encoding.Gravatar Unknown2012-04-24
* removed BoogieDriver from solutionGravatar qadeer2012-04-18
* Small fix to previous commit.Gravatar paulthomson2012-02-13
* Allow any file extension, but give warning if it is not .gbplGravatar paulthomson2012-02-10
* 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
* Small fix.Gravatar Unknown2011-11-16
* 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
* Refactoring and reorganisation of GPUVerifyGravatar Unknown2011-09-30
* 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 2024-11-03 01:54:35 +0000