projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ac0b59) | patch
benchmarks: revert back to strong/weak compare-exchange
authorBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 22:20:17 +0000 (15:20 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 22:20:17 +0000 (15:20 -0700)
commitca67665a06590d48352fd2c601004a39bd993ca8
tree965c4e218fff7490a5c9ffd1e4dca064e71f8ef4tree | snapshot
parent1ac0b596891b03e2b3651ed78252294ca02e928acommit | diff
benchmarks: revert back to strong/weak compare-exchange

I fixed up the model-checker header, so these will compile.
mcs-lock/mcs-lock.h diff | blob | history
mpmc-queue/mpmc-queue.h diff | blob | history
C++11 memory model checker benchmarks