summaryrefslogtreecommitdiff
path: root/tools/memory-model/litmus-tests
ModeNameSize
-rw-r--r--CoRR+poonceonce+Once.litmus167logplainblame
-rw-r--r--CoRW+poonceonce+Once.litmus154logplainblame
-rw-r--r--CoWR+poonceonce+Once.litmus154logplainblame
-rw-r--r--CoWW+poonceonce.litmus92logplainblame
-rw-r--r--IRIW+mbonceonces+OnceOnce.litmus343logplainblame
-rw-r--r--IRIW+poonceonces+OnceOnce.litmus321logplainblame
-rw-r--r--ISA2+poonceonces.litmus284logplainblame
-rw-r--r--ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus341logplainblame
-rw-r--r--LB+ctrlonceonce+mbonceonce.litmus231logplainblame
-rw-r--r--LB+poacquireonce+pooncerelease.litmus226logplainblame
-rw-r--r--LB+poonceonces.litmus198logplainblame
-rw-r--r--MP+onceassign+derefonce.litmus280logplainblame
-rw-r--r--MP+polocks.litmus317logplainblame
-rw-r--r--MP+poonceonces.litmus197logplainblame
-rw-r--r--MP+pooncerelease+poacquireonce.litmus225logplainblame
-rw-r--r--MP+porevlocks.litmus320logplainblame
-rw-r--r--MP+wmbonceonce+rmbonceonce.litmus233logplainblame
-rw-r--r--R+mbonceonces.litmus205logplainblame
-rw-r--r--R+poonceonces.litmus183logplainblame
-rw-r--r--README4540logplainblame
-rw-r--r--S+poonceonces.litmus183logplainblame
-rw-r--r--S+wmbonceonce+poacquireonce.litmus215logplainblame
-rw-r--r--SB+mbonceonces.litmus220logplainblame
-rw-r--r--SB+poonceonces.litmus198logplainblame
-rw-r--r--WRC+poonceonces+Once.litmus260logplainblame
-rw-r--r--WRC+pooncerelease+rmbonceonce+Once.litmus292logplainblame
-rw-r--r--Z6.0+pooncelock+poonceLock+pombonce.litmus452logplainblame
-rw-r--r--Z6.0+pooncelock+pooncelock+pombonce.litmus425logplainblame
-rw-r--r--Z6.0+pooncerelease+poacquirerelease+mbonceonce.litmus330logplainblame