GPUVerify: a Verifier for GPU Kernels
-------------------------------------

Thanks for downloading our nightly build!

For details of GPUVerify's prerequisites and testing your download please see here:

  http://multicore.doc.ic.ac.uk/tools/GPUVerify/docs/installation.html#windows

For instructions on how to use GPUVerify please see here:

  http://multicore.doc.ic.ac.uk/tools/GPUVerify/docs/basic_usage.html
