GPUVerify Toolchain and Experiments
===================================

There are two subdirectories in this tarball:

   * GPUVerifyInstall/
     contains the GPUVerify toolchain

   * experiments/
     contains the experiments (code and scripts) needed to reproduce the results
     given in our paper.

Quickstart:

   * !!!Make sure this directory is *not* on a network drive!!!
     This step is very important.

   * Get the GPUVerify toolchain on your path
     Use setpath.cmd if using cmd.exe or
         setpath.ps1 if using powershell

   * Now you can try any of the experiments given inside the experiments/
     directory. There are further README.txt files inside each experiment to
     guide you.
