litmus-tests « memory-model « tools - linux

Mode	Name	Size
-rw-r--r--	CoRR+poonceonce+Once.litmus	167	log stats plain
-rw-r--r--	CoRW+poonceonce+Once.litmus	154	log stats plain
-rw-r--r--	CoWR+poonceonce+Once.litmus	154	log stats plain
-rw-r--r--	CoWW+poonceonce.litmus	92	log stats plain
-rw-r--r--	IRIW+mbonceonces+OnceOnce.litmus	343	log stats plain
-rw-r--r--	IRIW+poonceonces+OnceOnce.litmus	321	log stats plain
-rw-r--r--	ISA2+poonceonces.litmus	284	log stats plain
-rw-r--r--	ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus	341	log stats plain
-rw-r--r--	LB+ctrlonceonce+mbonceonce.litmus	231	log stats plain
-rw-r--r--	LB+poacquireonce+pooncerelease.litmus	226	log stats plain
-rw-r--r--	LB+poonceonces.litmus	198	log stats plain
-rw-r--r--	MP+onceassign+derefonce.litmus	280	log stats plain
-rw-r--r--	MP+polocks.litmus	317	log stats plain
-rw-r--r--	MP+poonceonces.litmus	197	log stats plain
-rw-r--r--	MP+pooncerelease+poacquireonce.litmus	225	log stats plain
-rw-r--r--	MP+porevlocks.litmus	320	log stats plain
-rw-r--r--	MP+wmbonceonce+rmbonceonce.litmus	233	log stats plain
-rw-r--r--	R+mbonceonces.litmus	205	log stats plain
-rw-r--r--	R+poonceonces.litmus	183	log stats plain
-rw-r--r--	README	4540	log stats plain
-rw-r--r--	S+poonceonces.litmus	183	log stats plain
-rw-r--r--	S+wmbonceonce+poacquireonce.litmus	215	log stats plain
-rw-r--r--	SB+mbonceonces.litmus	220	log stats plain
-rw-r--r--	SB+poonceonces.litmus	198	log stats plain
-rw-r--r--	WRC+poonceonces+Once.litmus	260	log stats plain
-rw-r--r--	WRC+pooncerelease+rmbonceonce+Once.litmus	292	log stats plain
-rw-r--r--	Z6.0+pooncelock+poonceLock+pombonce.litmus	452	log stats plain
-rw-r--r--	Z6.0+pooncelock+pooncelock+pombonce.litmus	425	log stats plain
-rw-r--r--	Z6.0+pooncerelease+poacquirerelease+mbonceonce.litmus	330	log stats plain