summaryrefslogtreecommitdiff
path: root/tools/memory-model/litmus-tests
ModeNameSize
-rw-r--r--CoRR+poonceonce+Once.litmus311logplainblame
-rw-r--r--CoRW+poonceonce+Once.litmus324logplainblame
-rw-r--r--CoWR+poonceonce+Once.litmus324logplainblame
-rw-r--r--CoWW+poonceonce.litmus237logplainblame
-rw-r--r--IRIW+mbonceonces+OnceOnce.litmus671logplainblame
-rw-r--r--IRIW+poonceonces+OnceOnce.litmus655logplainblame
-rw-r--r--ISA2+pooncelock+pooncelock+pombonce.litmus652logplainblame
-rw-r--r--ISA2+poonceonces.litmus598logplainblame
-rw-r--r--ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus784logplainblame
-rw-r--r--LB+ctrlonceonce+mbonceonce.litmus689logplainblame
-rw-r--r--LB+poacquireonce+pooncerelease.litmus412logplainblame
-rw-r--r--LB+poonceonces.litmus346logplainblame
-rw-r--r--MP+onceassign+derefonce.litmus555logplainblame
-rw-r--r--MP+polocks.litmus762logplainblame
-rw-r--r--MP+poonceonces.litmus319logplainblame
-rw-r--r--MP+pooncerelease+poacquireonce.litmus401logplainblame
-rw-r--r--MP+porevlocks.litmus765logplainblame
-rw-r--r--MP+wmbonceonce+rmbonceonce.litmus472logplainblame
-rw-r--r--R+mbonceonces.litmus494logplainblame
-rw-r--r--R+poonceonces.litmus388logplainblame
-rw-r--r--README4804logplainblame
-rw-r--r--S+poonceonces.litmus462logplainblame
-rw-r--r--S+wmbonceonce+poacquireonce.litmus351logplainblame
-rw-r--r--SB+mbonceonces.litmus494logplainblame
-rw-r--r--SB+poonceonces.litmus423logplainblame
-rw-r--r--WRC+poonceonces+Once.litmus465logplainblame
-rw-r--r--WRC+pooncerelease+rmbonceonce+Once.litmus530logplainblame
-rw-r--r--Z6.0+pooncelock+poonceLock+pombonce.litmus723logplainblame
-rw-r--r--Z6.0+pooncelock+pooncelock+pombonce.litmus658logplainblame
-rw-r--r--Z6.0+pooncerelease+poacquirerelease+mbonceonce.litmus975logplainblame