summaryrefslogtreecommitdiff
path: root/tools/memory-model/litmus-tests
ModeNameSize
-rw-r--r--.gitignore53logplain
-rw-r--r--CoRR+poonceonce+Once.litmus311logplain
-rw-r--r--CoRW+poonceonce+Once.litmus324logplain
-rw-r--r--CoWR+poonceonce+Once.litmus324logplain
-rw-r--r--CoWW+poonceonce.litmus237logplain
-rw-r--r--IRIW+fencembonceonces+OnceOnce.litmus731logplain
-rw-r--r--IRIW+poonceonces+OnceOnce.litmus655logplain
-rw-r--r--ISA2+pooncelock+pooncelock+pombonce.litmus588logplain
-rw-r--r--ISA2+poonceonces.litmus598logplain
-rw-r--r--ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus784logplain
-rw-r--r--LB+fencembonceonce+ctrlonceonce.litmus694logplain
-rw-r--r--LB+poacquireonce+pooncerelease.litmus412logplain
-rw-r--r--LB+poonceonces.litmus346logplain
-rw-r--r--LB+unlocklockonceonce+poacquireonce.litmus719logplain
-rw-r--r--MP+fencewmbonceonce+fencermbonceonce.litmus545logplain
-rw-r--r--MP+onceassign+derefonce.litmus593logplain
-rw-r--r--MP+polockmbonce+poacquiresilsil.litmus745logplain
-rw-r--r--MP+polockonce+poacquiresilsil.litmus681logplain
-rw-r--r--MP+polocks.litmus825logplain
-rw-r--r--MP+poonceonces.litmus386logplain
-rw-r--r--MP+pooncerelease+poacquireonce.litmus464logplain
-rw-r--r--MP+porevlocks.litmus828logplain
-rw-r--r--MP+unlocklockonceonce+fencermbonceonce.litmus564logplain
-rw-r--r--R+fencembonceonces.litmus499logplain
-rw-r--r--R+poonceonces.litmus388logplain
-rw-r--r--README9823logplain
-rw-r--r--S+fencewmbonceonce+poacquireonce.litmus356logplain
-rw-r--r--S+poonceonces.litmus462logplain
-rw-r--r--SB+fencembonceonces.litmus499logplain
-rw-r--r--SB+poonceonces.litmus423logplain
-rw-r--r--SB+rfionceonce-poonceonces.litmus452logplain
-rw-r--r--WRC+poonceonces+Once.litmus465logplain
-rw-r--r--WRC+pooncerelease+fencermbonceonce+Once.litmus644logplain
-rw-r--r--Z6.0+pooncelock+poonceLock+pombonce.litmus723logplain
-rw-r--r--Z6.0+pooncelock+pooncelock+pombonce.litmus658logplain
-rw-r--r--Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus980logplain