projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e8cf83) | patch
testcase for ms-queue to expose SC violation
authorPeizhao Ou <peizhaoo@uci.edu>
Wed, 25 Mar 2015 02:36:00 +0000 (19:36 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Wed, 25 Mar 2015 02:36:00 +0000 (19:36 -0700)
commit357cc2d31eaf9df96c2fc676fa00f40a54e83019
treee08c0b4dc79ba6c1442a98ac164f62f8b99458catree | snapshot
parent2e8cf83a7015535e33eb8ccf14586ea59fa9776acommit | diff
testcase for ms-queue to expose SC violation
ms-queue/interesting.txt [new file with mode: 0644] blob
ms-queue/queue.c diff | blob | history
ms-queue/queue.h diff | blob | history
ms-queue/queue_wildcard.c diff | blob | history
ms-queue/result3.txt diff | blob | history
ms-queue/testcase1.c diff | blob | history
ms-queue/testcase2.c diff | blob | history
ms-queue/testcase3.c diff | blob | history
C++11 memory model checker benchmarks