Merge branch 'master' of ssh://
[model-checker-benchmarks.git] /
2013-03-15 Brian DemskyMerge branch 'master' of ssh://
2013-03-15 Brian Demskymy changes to benchmark shell
2013-03-15 Brian 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 add dekker-fences to benchmark runs
2013-02-28 Brian log more information
2013-02-28 Brian don't run tests twice
2012-12-11 Brian don't 'grep' output
2012-11-14 Brian 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 change max-reads=2, log to directory
2012-11-02 Brian add test script for running benchmarks