summaryrefslogtreecommitdiff
path: root/Source/GPUVerify.sln
Commit message (Expand)AuthorAge
* removed unneeded projectsGravatar qadeer2012-02-28
* Modified solution to build on all platforms.Gravatar Unknown2011-11-15
* moved GPUVerify into its own solutionGravatar qadeer2011-11-08