litmus-tests « memory-model « tools - linux - Linux Kernel (branches are rebased on master from time to time)

Mode	Name	Size
-rw-r--r--	CoRR+poonceonce+Once.litmus	311	log stats plain
-rw-r--r--	CoRW+poonceonce+Once.litmus	324	log stats plain
-rw-r--r--	CoWR+poonceonce+Once.litmus	324	log stats plain
-rw-r--r--	CoWW+poonceonce.litmus	237	log stats plain
-rw-r--r--	IRIW+mbonceonces+OnceOnce.litmus	671	log stats plain
-rw-r--r--	IRIW+poonceonces+OnceOnce.litmus	655	log stats plain
-rw-r--r--	ISA2+pooncelock+pooncelock+pombonce.litmus	652	log stats plain
-rw-r--r--	ISA2+poonceonces.litmus	598	log stats plain
-rw-r--r--	ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus	784	log stats plain
-rw-r--r--	LB+ctrlonceonce+mbonceonce.litmus	689	log stats plain
-rw-r--r--	LB+poacquireonce+pooncerelease.litmus	412	log stats plain
-rw-r--r--	LB+poonceonces.litmus	346	log stats plain
-rw-r--r--	MP+onceassign+derefonce.litmus	555	log stats plain
-rw-r--r--	MP+polocks.litmus	762	log stats plain
-rw-r--r--	MP+poonceonces.litmus	319	log stats plain
-rw-r--r--	MP+pooncerelease+poacquireonce.litmus	401	log stats plain
-rw-r--r--	MP+porevlocks.litmus	765	log stats plain
-rw-r--r--	MP+wmbonceonce+rmbonceonce.litmus	472	log stats plain
-rw-r--r--	R+mbonceonces.litmus	494	log stats plain
-rw-r--r--	R+poonceonces.litmus	388	log stats plain
-rw-r--r--	README	4804	log stats plain
-rw-r--r--	S+poonceonces.litmus	462	log stats plain
-rw-r--r--	S+wmbonceonce+poacquireonce.litmus	351	log stats plain
-rw-r--r--	SB+mbonceonces.litmus	494	log stats plain
-rw-r--r--	SB+poonceonces.litmus	423	log stats plain
-rw-r--r--	WRC+poonceonces+Once.litmus	465	log stats plain
-rw-r--r--	WRC+pooncerelease+rmbonceonce+Once.litmus	530	log stats plain
-rw-r--r--	Z6.0+pooncelock+poonceLock+pombonce.litmus	723	log stats plain
-rw-r--r--	Z6.0+pooncelock+pooncelock+pombonce.litmus	658	log stats plain
-rw-r--r--	Z6.0+pooncerelease+poacquirerelease+mbonceonce.litmus	975	log stats plain