projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77847ec) | patch
bench.sh: only print git information when we're in git oopsla2013 oopsla2013-final
authorBrian Norris <banorris@uci.edu>
Sat, 1 Jun 2013 01:14:31 +0000 (18:14 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 1 Jun 2013 01:14:31 +0000 (18:14 -0700)
commitef26df7f65900c9558c2882e5a105cdc6d438820
treed38d88e61aa596f638205eb12edba421728e6393tree | snapshot
parent77847ecd3fa6a643302770491928787ba143cde1commit | diff
bench.sh: only print git information when we're in git
bench.sh diff | blob | history
C++11 memory model checker benchmarks