summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/litmus-tests
ModeNameSize
-rw-r--r--.gitignore53logstatsplain
-rw-r--r--CoRR+poonceonce+Once.litmus320logstatsplain
-rw-r--r--CoRW+poonceonce+Once.litmus333logstatsplain
-rw-r--r--CoWR+poonceonce+Once.litmus333logstatsplain
-rw-r--r--CoWW+poonceonce.litmus246logstatsplain
-rw-r--r--IRIW+fencembonceonces+OnceOnce.litmus748logstatsplain
-rw-r--r--IRIW+poonceonces+OnceOnce.litmus672logstatsplain
-rw-r--r--ISA2+pooncelock+pooncelock+pombonce.litmus633logstatsplain
-rw-r--r--ISA2+poonceonces.litmus623logstatsplain
-rw-r--r--ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus809logstatsplain
-rw-r--r--LB+fencembonceonce+ctrlonceonce.litmus711logstatsplain
-rw-r--r--LB+poacquireonce+pooncerelease.litmus429logstatsplain
-rw-r--r--LB+poonceonces.litmus363logstatsplain
-rw-r--r--MP+fencewmbonceonce+fencermbonceonce.litmus567logstatsplain
-rw-r--r--MP+onceassign+derefonce.litmus617logstatsplain
-rw-r--r--MP+polockmbonce+poacquiresilsil.litmus770logstatsplain
-rw-r--r--MP+polockonce+poacquiresilsil.litmus706logstatsplain
-rw-r--r--MP+polocks.litmus867logstatsplain
-rw-r--r--MP+poonceonces.litmus408logstatsplain
-rw-r--r--MP+pooncerelease+poacquireonce.litmus486logstatsplain
-rw-r--r--MP+porevlocks.litmus870logstatsplain
-rw-r--r--R+fencembonceonces.litmus516logstatsplain
-rw-r--r--R+poonceonces.litmus405logstatsplain
-rw-r--r--README9561logstatsplain
-rw-r--r--S+fencewmbonceonce+poacquireonce.litmus373logstatsplain
-rw-r--r--S+poonceonces.litmus479logstatsplain
-rw-r--r--SB+fencembonceonces.litmus516logstatsplain
-rw-r--r--SB+poonceonces.litmus440logstatsplain
-rw-r--r--SB+rfionceonce-poonceonces.litmus469logstatsplain
-rw-r--r--WRC+poonceonces+Once.litmus482logstatsplain
-rw-r--r--WRC+pooncerelease+fencermbonceonce+Once.litmus661logstatsplain
-rw-r--r--Z6.0+pooncelock+poonceLock+pombonce.litmus768logstatsplain
-rw-r--r--Z6.0+pooncelock+pooncelock+pombonce.litmus703logstatsplain
-rw-r--r--Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus1005logstatsplain