projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2202f97) | patch
mcs-queue -> ms-queue
authorBrian Norris <banorris@uci.edu>
Tue, 5 Mar 2013 18:10:53 +0000 (10:10 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 5 Mar 2013 18:10:53 +0000 (10:10 -0800)
commit7df8191c93d3664a3b1ea2dfcd0e88de2cfcc7c9
tree8eb963f523937d38fb35cdb009beb731bfc4b2b2tree | snapshot
parent2202f9754ed82b8cd5fc9a0c9b5ec1d7416d6129commit | diff
mcs-queue -> ms-queue

This queue is by Michael and Scott; hence, "M&S".
12 files changed:
mcs-queue/Makefile [deleted file] blob | history
mcs-queue/args.c [deleted file] blob | history
mcs-queue/main.c [deleted file] blob | history
mcs-queue/main.h [deleted file] blob | history
mcs-queue/my_queue.c [deleted file] blob | history
mcs-queue/my_queue.h [deleted file] blob | history
ms-queue/Makefile [new file with mode: 0644] blob
ms-queue/args.c [new file with mode: 0644] blob
ms-queue/main.c [new file with mode: 0644] blob
ms-queue/main.h [new file with mode: 0644] blob
ms-queue/my_queue.c [new file with mode: 0644] blob
ms-queue/my_queue.h [new file with mode: 0644] blob
C++11 memory model checker benchmarks