GPUVerify

GPUVerify is a static analyser for verifying race- and divergence-freedom of GPU kernels written in OpenCL and CUDA.

The documentation is written using Sphinx and can be found in Documentation or online

Generating the Documentation

To generate the documentation run:

$ cd Documentation
$ make html

You can then view Documentation/_build/html/index.html in a browser.