projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e4cd56) | patch
edits: add comments to demonstrate the found bugs and bug injections
authorPeizhao Ou <peizhaoo@uci.edu>
Wed, 7 Dec 2016 21:24:43 +0000 (13:24 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Wed, 7 Dec 2016 21:24:43 +0000 (13:24 -0800)
commitfd62fd9d7f0bb39d19155db6af758c44e3dbb43b
treedbe795f33161e5b5c04a7e76df17e4d68cc58074tree | snapshot
parent1e4cd56e5cf72f7cb6dddb2990183f050afc4cbccommit | diff
edits: add comments to demonstrate the found bugs and bug injections
46 files changed:
Makefile diff | blob | history
bench.sh [deleted file] blob | history
blocking-mpmc-example/Makefile [deleted file] blob | history
blocking-mpmc-example/example.txt [deleted file] blob | history
blocking-mpmc-example/main.cc [deleted file] blob | history
blocking-mpmc-example/queue.cc [deleted file] blob | history
blocking-mpmc-example/queue.h [deleted file] blob | history
blocking-mpmc-example/testcase1.cc [deleted file] blob | history
blocking-mpmc-example/testcase2.cc [deleted file] blob | history
blocking-mpmc-example/testcase3.cc [deleted file] blob | history
blocking-mpmc-example/testcase4.cc [deleted file] blob | history
chase-lev-deque-bugfix/Makefile diff | blob | history
chase-lev-deque-bugfix/deque.c diff | blob | history
chase-lev-deque-bugfix/deque.h diff | blob | history
chase-lev-deque-bugfix/testcase3.c diff | blob | history
chase-lev-deque-bugfix/testcase4.c [deleted file] blob | history
chase-lev-deque-bugfix/testcase5.c [deleted file] blob | history
chase-lev-deque-bugfix/testcase6.c [deleted file] blob | history
chase-lev-deque/.gitignore [deleted file] blob | history
chase-lev-deque/Makefile [deleted file] blob | history
chase-lev-deque/deque.c [deleted file] blob | history
chase-lev-deque/deque.h [deleted file] blob | history
chase-lev-deque/main.c [deleted file] blob | history
concurrent-hashmap/hashmap.cc diff | blob | history
count-lines.sh [deleted file] blob | history
doc/benchmark-list.txt [deleted file] blob | history
doc/scanalysis_result.txt [deleted file] blob | history
linuxrwlocks/linuxrwlocks.c diff | blob | history
mcs-lock/mcs-lock.cc diff | blob | history
mpmc-queue/mpmc-queue.cc diff | blob | history
ms-queue-loose/Makefile [deleted file] blob | history
ms-queue-loose/main.c [deleted file] blob | history
ms-queue-loose/queue.c [deleted file] blob | history
ms-queue-loose/queue.h [deleted file] blob | history
ms-queue-loose/testcase1.c [deleted file] blob | history
ms-queue-loose/testcase2.c [deleted file] blob | history
ms-queue-loose/testcase3.c [deleted file] blob | history
ms-queue-loose/testcase4.c [deleted file] blob | history
ms-queue/main.c diff | blob | history
ms-queue/queue.c diff | blob | history
ms-queue/testcase1.c diff | blob | history
ms-queue/testcase2.c diff | blob | history
read-copy-update/rcu.cc diff | blob | history
seqlock/seqlock.cc diff | blob | history
spsc-bugfix/queue.cc diff | blob | history
ticket-lock/lock.c diff | blob | history
C++11 memory model checker benchmarks