chase-lev-dequeue: fix compiler warning
[model-checker-benchmarks.git] / bench.sh
2013-03-20 Brian Norrisbench.sh: don't automatically log to file
2013-03-18 Brian Norrisbench.sh: rearrange order again
2013-03-18 Brian Norrisbench.sh: run dekker-fences
2013-03-15 Brian Norrisbench.sh: fixup Brian D.'s script change
2013-03-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2013-03-15 Brian Demskymy changes to benchmark shell
2013-03-15 Brian Norrisbench.sh: rewrite benchmark list to match paper
2013-03-14 Brian Demskyoptimizations to mpmc-queue yield placement
2013-03-14 Brian DemskyFix all benchmarks to use yield
2013-03-05 Brian Norrisbench.sh: add dekker-fences to benchmark runs
2013-02-28 Brian Norrisbench.sh: log more information
2013-02-28 Brian Norrisbench.sh: don't run tests twice
2012-12-11 Brian Norrisbench.sh: don't 'grep' output
2012-11-14 Brian Norrisbench.sh: add spsc-bugfix to benchmark runs pldi2013
2012-11-08 Brian Norrisbench: reconfigure default tests
2012-11-03 Brian Norrisbench: allow log directory to be placed elsewhere
2012-11-03 Brian Norrisbench: send timings to stdout, not stderr
2012-11-03 Brian Norrisbench: add linuxrwlocks to benchmark runs
2012-11-03 Brian Norrisbench.sh: change max-reads=2, log to directory
2012-11-02 Brian Norrisbench.sh: add test script for running benchmarks