From: Brian Norris <banorris@uci.edu>
Date: Thu, 11 Oct 2012 23:37:37 +0000 (-0700)
Subject: williams-queue: add driver, Makefile, etc.
X-Git-Tag: pldi2013~35
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=adc372d8af13fdc07eba357f0c6de4319dbfce10;hp=adc372d8af13fdc07eba357f0c6de4319dbfce10

williams-queue: add driver, Makefile, etc.

Still doesn't quite compile. I'm mostly attempting compilation with a
C++0x compiler (G++ 4.6) for now, a la:

  g++ -o williams-queue williams-queue.cc --std=c++0x
---