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

There are two directories in this tarball:

   * GPUVerifyInstall/
     contains the GPUVerify toolchain

   * experiments/
     contains the experiments (code and scripts) given in our paper

Quickstart
----------

   * You must have mono 3.0.4 installed on your system

     > mono --version
     
     Read mono-install.txt for instructions on installing mono from source.

   * Get the GPUVerify toolchain on your path

     > source sourceme.sh

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