projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3f884a) | patch
bench.sh: rewrite benchmark list to match paper
authorBrian Norris <banorris@uci.edu>
Fri, 15 Mar 2013 18:29:53 +0000 (11:29 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Mar 2013 18:29:53 +0000 (11:29 -0700)
commitff4cd01eb602228cbd4091539c3f9754cb946dda
tree71d39a0c4479aa8e617416592fa326f07ce36e47tree | snapshot
parentf3f884aa27baf8b1c7784212f826f4e049b379c9commit | diff
bench.sh: rewrite benchmark list to match paper

Brian D. changed the benchmarks we run as well as the order. Let's
encode that in this script, so we can repeat the benchmarks
consistently.
bench.sh diff | blob | history
C++11 memory model checker benchmarks