summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/litmus-tests
ModeNameSize
-rw-r--r--.gitignore13logstatsplain
-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+mbonceonces+OnceOnce.litmus726logstatsplain
-rw-r--r--IRIW+poonceonces+OnceOnce.litmus655logstatsplain
-rw-r--r--ISA2+pooncelock+pooncelock+pombonce.litmus652logstatsplain
-rw-r--r--ISA2+poonceonces.litmus598logstatsplain
-rw-r--r--ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus784logstatsplain
-rw-r--r--LB+ctrlonceonce+mbonceonce.litmus689logstatsplain
-rw-r--r--LB+poacquireonce+pooncerelease.litmus412logstatsplain
-rw-r--r--LB+poonceonces.litmus346logstatsplain
-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.litmus319logstatsplain
-rw-r--r--MP+pooncerelease+poacquireonce.litmus401logstatsplain
-rw-r--r--MP+porevlocks.litmus765logstatsplain
-rw-r--r--MP+wmbonceonce+rmbonceonce.litmus472logstatsplain
-rw-r--r--R+mbonceonces.litmus494logstatsplain
-rw-r--r--R+poonceonces.litmus388logstatsplain
-rw-r--r--README5335logstatsplain
-rw-r--r--S+poonceonces.litmus462logstatsplain
-rw-r--r--S+wmbonceonce+poacquireonce.litmus351logstatsplain
-rw-r--r--SB+mbonceonces.litmus494logstatsplain
-rw-r--r--SB+poonceonces.litmus423logstatsplain
-rw-r--r--WRC+poonceonces+Once.litmus465logstatsplain
-rw-r--r--WRC+pooncerelease+rmbonceonce+Once.litmus639logstatsplain
-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+mbonceonce.litmus975logstatsplain