projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18869c5) | patch
mcs-lock: add trivial driver, link with build system
authorBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 01:09:20 +0000 (18:09 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 01:09:58 +0000 (18:09 -0700)
commit43509b349e5d7e4d7044ec462cebe11535d9dd54
treee6799867f1747c95fe23b692539c9c67f8ba8ff8tree | snapshot
parent18869c55f75a2801099ef5db7b8e2b95dd2e3e7fcommit | diff
mcs-lock: add trivial driver, link with build system

This benchmark doesn't do much yet.
Makefile diff | blob | history
mcs-lock/Makefile [new file with mode: 0644] blob
mcs-lock/mcs-lock.cc [new file with mode: 0644] blob
C++11 memory model checker benchmarks