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

Mode	Name	Size
-rw-r--r--	.gitignore	53	log stats plain
-rw-r--r--	CoRR+poonceonce+Once.litmus	320	log stats plain
-rw-r--r--	CoRW+poonceonce+Once.litmus	333	log stats plain
-rw-r--r--	CoWR+poonceonce+Once.litmus	333	log stats plain
-rw-r--r--	CoWW+poonceonce.litmus	246	log stats plain
-rw-r--r--	IRIW+fencembonceonces+OnceOnce.litmus	748	log stats plain
-rw-r--r--	IRIW+poonceonces+OnceOnce.litmus	672	log stats plain
-rw-r--r--	ISA2+pooncelock+pooncelock+pombonce.litmus	633	log stats plain
-rw-r--r--	ISA2+poonceonces.litmus	623	log stats plain
-rw-r--r--	ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus	809	log stats plain
-rw-r--r--	LB+fencembonceonce+ctrlonceonce.litmus	711	log stats plain
-rw-r--r--	LB+poacquireonce+pooncerelease.litmus	429	log stats plain
-rw-r--r--	LB+poonceonces.litmus	363	log stats plain
-rw-r--r--	MP+fencewmbonceonce+fencermbonceonce.litmus	567	log stats plain
-rw-r--r--	MP+onceassign+derefonce.litmus	617	log stats plain
-rw-r--r--	MP+polockmbonce+poacquiresilsil.litmus	770	log stats plain
-rw-r--r--	MP+polockonce+poacquiresilsil.litmus	706	log stats plain
-rw-r--r--	MP+polocks.litmus	867	log stats plain
-rw-r--r--	MP+poonceonces.litmus	408	log stats plain
-rw-r--r--	MP+pooncerelease+poacquireonce.litmus	486	log stats plain
-rw-r--r--	MP+porevlocks.litmus	870	log stats plain
-rw-r--r--	R+fencembonceonces.litmus	516	log stats plain
-rw-r--r--	R+poonceonces.litmus	405	log stats plain
-rw-r--r--	README	9561	log stats plain
-rw-r--r--	S+fencewmbonceonce+poacquireonce.litmus	373	log stats plain
-rw-r--r--	S+poonceonces.litmus	479	log stats plain
-rw-r--r--	SB+fencembonceonces.litmus	516	log stats plain
-rw-r--r--	SB+poonceonces.litmus	440	log stats plain
-rw-r--r--	SB+rfionceonce-poonceonces.litmus	469	log stats plain
-rw-r--r--	WRC+poonceonces+Once.litmus	482	log stats plain
-rw-r--r--	WRC+pooncerelease+fencermbonceonce+Once.litmus	661	log stats plain
-rw-r--r--	Z6.0+pooncelock+poonceLock+pombonce.litmus	768	log stats plain
-rw-r--r--	Z6.0+pooncelock+pooncelock+pombonce.litmus	703	log stats plain
-rw-r--r--	Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus	1005	log stats plain