allydonaldson

May 22, 2013 - Microsoft Research Boogie: 292f21bd0c50, Merge

May 22, 2013 - Microsoft Research Boogie: 23db8eaa39b7, Fixed bug in staged Houdini.

May 18, 2013 - Microsoft Research Boogie: 6632256d0745, Adapted Houdini algorithm to take staging into account

May 16, 2013 - GPUVerify: A verifier for GPU kernels: 5cb5c1f628d6, Fix to batch file. Minor change related to how intra group race checking is performed, so that group id is treated as uniform unless we are doing intra-group checking.

May 3, 2013 - GPUVerify: A verifier for GPU kernels: f17228183158, Merge

May 3, 2013 - GPUVerify: A verifier for GPU kernels: 7ca119a37556, Updates related to staged houdini

April 30, 2013 - Microsoft Research Boogie: b87fef0b453d, Merge

April 30, 2013 - Microsoft Research Boogie: a6258fcdb2cf, Staged Houdini