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

   * Get the GPUVerify toolchain on your path

      > source sourceme.sh

   * 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.
