shriram/repro-in-cs — pull request #79 by nchong (2014-03-27 12:12:56+00:00)
Title: Adding more information to BettsCDQT12 dispute.

Hello, I'm an author of this paper. I've added a bit more information about ways to get/build/use GPUVerify in dispute.txt.

Thanks, Nathan