projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 647601d) | patch
ms-queue: revert Brian D. changes
authorBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 22:47:27 +0000 (14:47 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 22:48:00 +0000 (14:48 -0800)
commit7fd7e04652df0491d9ebf56da6a179e9b9ee2f05
tree258ec7085adced0b156ee68100bb6b222b4f340etree | snapshot
parent647601d3f341bb2a2a79534b3d044c039695839dcommit | diff
ms-queue: revert Brian D. changes

On second (or third or fourth) thought, these changes were ill-advised.
We will make a different set of tweaks shortly.

This reverts commits 647601d3f341bb2a2a79534b3d044c039695839d and
fad3891f3158a4285984bb60415c1e4ebc2b767b.
ms-queue/my_queue.c diff | blob | history
C++11 memory model checker benchmarks