projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2ac1e3) | patch
williams-queue: add driver, Makefile, etc.
authorBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 23:37:37 +0000 (16:37 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 23:37:37 +0000 (16:37 -0700)
commitadc372d8af13fdc07eba357f0c6de4319dbfce10
tree1c5e912088a0c7ffb109c8838702327f13000b9ftree | snapshot
parentc2ac1e3d5e63916c9f08a2847a9bc178040c82f5commit | diff
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
williams-queue/.gitignore [new file with mode: 0644] blob
williams-queue/Makefile [new file with mode: 0644] blob
williams-queue/williams-queue.cc [new file with mode: 0644] blob
C++11 memory model checker benchmarks