projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1cfff06) | patch
bench.sh: log more information
authorBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 18:47:22 +0000 (10:47 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 18:47:22 +0000 (10:47 -0800)
commit541768052800ab7fd6c1ace59c974b8ea5def656
tree933fc3c7120cd74b6eebb136ae0d42dbb3eff190tree | snapshot
parent1cfff06fd3e6941fa90ed54de27183062ddb1a6acommit | diff
bench.sh: log more information

We want the whole timing information and git-log info in our log files.
bench.sh diff | blob | history
C++11 memory model checker benchmarks