summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/litmus-tests
ModeNameSize
-rw-r--r--.gitignore53logstatsplain
-rw-r--r--CoRR+poonceonce+Once.litmus311logstatsplain
-rw-r--r--CoRW+poonceonce+Once.litmus324logstatsplain
-rw-r--r--CoWR+poonceonce+Once.litmus324logstatsplain
-rw-r--r--CoWW+poonceonce.litmus237logstatsplain
-rw-r--r--IRIW+fencembonceonces+OnceOnce.litmus731logstatsplain
-rw-r--r--IRIW+poonceonces+OnceOnce.litmus655logstatsplain
-rw-r--r--ISA2+pooncelock+pooncelock+pombonce.litmus588logstatsplain
-rw-r--r--ISA2+poonceonces.litmus598logstatsplain
-rw-r--r--ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus784logstatsplain
-rw-r--r--LB+fencembonceonce+ctrlonceonce.litmus694logstatsplain
-rw-r--r--LB+poacquireonce+pooncerelease.litmus412logstatsplain
-rw-r--r--LB+poonceonces.litmus346logstatsplain
-rw-r--r--MP+fencewmbonceonce+fencermbonceonce.litmus482logstatsplain
-rw-r--r--MP+onceassign+derefonce.litmus555logstatsplain
-rw-r--r--MP+polockmbonce+poacquiresilsil.litmus703logstatsplain
-rw-r--r--MP+polockonce+poacquiresilsil.litmus639logstatsplain
-rw-r--r--MP+polocks.litmus762logstatsplain
-rw-r--r--MP+poonceonces.litmus323logstatsplain
-rw-r--r--MP+pooncerelease+poacquireonce.litmus401logstatsplain
-rw-r--r--MP+porevlocks.litmus765logstatsplain
-rw-r--r--R+fencembonceonces.litmus499logstatsplain
-rw-r--r--R+poonceonces.litmus388logstatsplain
-rw-r--r--README9561logstatsplain
-rw-r--r--S+fencewmbonceonce+poacquireonce.litmus356logstatsplain
-rw-r--r--S+poonceonces.litmus462logstatsplain
-rw-r--r--SB+fencembonceonces.litmus499logstatsplain
-rw-r--r--SB+poonceonces.litmus423logstatsplain
-rw-r--r--SB+rfionceonce-poonceonces.litmus452logstatsplain
-rw-r--r--WRC+poonceonces+Once.litmus465logstatsplain
-rw-r--r--WRC+pooncerelease+fencermbonceonce+Once.litmus644logstatsplain
-rw-r--r--Z6.0+pooncelock+poonceLock+pombonce.litmus723logstatsplain
-rw-r--r--Z6.0+pooncelock+pooncelock+pombonce.litmus658logstatsplain
-rw-r--r--Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus980logstatsplain