summaryrefslogtreecommitdiff
path: root/tools/memory-model/litmus-tests
ModeNameSize
-rw-r--r--CoRR+poonceonce+Once.litmus167logplain
-rw-r--r--CoRW+poonceonce+Once.litmus154logplain
-rw-r--r--CoWR+poonceonce+Once.litmus154logplain
-rw-r--r--CoWW+poonceonce.litmus92logplain
-rw-r--r--IRIW+mbonceonces+OnceOnce.litmus343logplain
-rw-r--r--IRIW+poonceonces+OnceOnce.litmus321logplain
-rw-r--r--ISA2+poonceonces.litmus284logplain
-rw-r--r--ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus341logplain
-rw-r--r--LB+ctrlonceonce+mbonceonce.litmus231logplain
-rw-r--r--LB+poacquireonce+pooncerelease.litmus226logplain
-rw-r--r--LB+poonceonces.litmus198logplain
-rw-r--r--MP+onceassign+derefonce.litmus280logplain
-rw-r--r--MP+polocks.litmus317logplain
-rw-r--r--MP+poonceonces.litmus197logplain
-rw-r--r--MP+pooncerelease+poacquireonce.litmus225logplain
-rw-r--r--MP+porevlocks.litmus320logplain
-rw-r--r--MP+wmbonceonce+rmbonceonce.litmus233logplain
-rw-r--r--R+mbonceonces.litmus205logplain
-rw-r--r--R+poonceonces.litmus183logplain
-rw-r--r--README4540logplain
-rw-r--r--S+poonceonces.litmus183logplain
-rw-r--r--S+wmbonceonce+poacquireonce.litmus215logplain
-rw-r--r--SB+mbonceonces.litmus220logplain
-rw-r--r--SB+poonceonces.litmus198logplain
-rw-r--r--WRC+poonceonces+Once.litmus260logplain
-rw-r--r--WRC+pooncerelease+rmbonceonce+Once.litmus292logplain
-rw-r--r--Z6.0+pooncelock+poonceLock+pombonce.litmus452logplain
-rw-r--r--Z6.0+pooncelock+pooncelock+pombonce.litmus425logplain
-rw-r--r--Z6.0+pooncerelease+poacquirerelease+mbonceonce.litmus330logplain
generated by cgit (git 2.34.1) at 2024-06-12 19:35:42 +0000