summary refs log tree commit diff
path: root/tools/memory-model/litmus-tests
ModeNameSize
-rw-r--r--.gitignore13log plain
-rw-r--r--CoRR+poonceonce+Once.litmus311log plain
-rw-r--r--CoRW+poonceonce+Once.litmus324log plain
-rw-r--r--CoWR+poonceonce+Once.litmus324log plain
-rw-r--r--CoWW+poonceonce.litmus237log plain
-rw-r--r--IRIW+fencembonceonces+OnceOnce.litmus731log plain
-rw-r--r--IRIW+poonceonces+OnceOnce.litmus655log plain
-rw-r--r--ISA2+pooncelock+pooncelock+pombonce.litmus588log plain
-rw-r--r--ISA2+poonceonces.litmus598log plain
-rw-r--r--ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus784log plain
-rw-r--r--LB+fencembonceonce+ctrlonceonce.litmus694log plain
-rw-r--r--LB+poacquireonce+pooncerelease.litmus412log plain
-rw-r--r--LB+poonceonces.litmus346log plain
-rw-r--r--MP+fencewmbonceonce+fencermbonceonce.litmus482log plain
-rw-r--r--MP+onceassign+derefonce.litmus555log plain
-rw-r--r--MP+polockmbonce+poacquiresilsil.litmus703log plain
-rw-r--r--MP+polockonce+poacquiresilsil.litmus639log plain
-rw-r--r--MP+polocks.litmus762log plain
-rw-r--r--MP+poonceonces.litmus319log plain
-rw-r--r--MP+pooncerelease+poacquireonce.litmus401log plain
-rw-r--r--MP+porevlocks.litmus765log plain
-rw-r--r--R+fencembonceonces.litmus499log plain
-rw-r--r--R+poonceonces.litmus388log plain
-rw-r--r--README9560log plain
-rw-r--r--S+fencewmbonceonce+poacquireonce.litmus356log plain
-rw-r--r--S+poonceonces.litmus462log plain
-rw-r--r--SB+fencembonceonces.litmus499log plain
-rw-r--r--SB+poonceonces.litmus423log plain
-rw-r--r--SB+rfionceonce-poonceonces.litmus452log plain
-rw-r--r--WRC+poonceonces+Once.litmus465log plain
-rw-r--r--WRC+pooncerelease+fencermbonceonce+Once.litmus644log plain
-rw-r--r--Z6.0+pooncelock+poonceLock+pombonce.litmus723log plain
-rw-r--r--Z6.0+pooncelock+pooncelock+pombonce.litmus658log plain
-rw-r--r--Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus980log plain
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-10-09 10:21:04 +0000