add result file
[model-checker-benchmarks.git] /
2013-08-14 Brian Norrisremove unused benchmarks
2013-06-01 Brian only print git information when we're in git oopsla2013 oopsla2013-final
2013-03-20 Brian don't automatically log to file
2013-03-18 Brian rearrange order again
2013-03-18 Brian run dekker-fences
2013-03-15 Brian fixup Brian D.'s script change
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