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.litmus545logstatsplain
-rw-r--r--MP+onceassign+derefonce.litmus593logstatsplain
-rw-r--r--MP+polockmbonce+poacquiresilsil.litmus745logstatsplain
-rw-r--r--MP+polockonce+poacquiresilsil.litmus681logstatsplain
-rw-r--r--MP+polocks.litmus825logstatsplain
-rw-r--r--MP+poonceonces.litmus386logstatsplain
-rw-r--r--MP+pooncerelease+poacquireonce.litmus464logstatsplain
-rw-r--r--MP+porevlocks.litmus828logstatsplain
-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