kernel_replicant_linux - Replicant kernel

	Commit message (Expand)	Author	Age	Files	Lines
*	tools/memory-model: Add extra ordering for locks and remove it for ordinary r...	Alan Stern	2018-10-02	1	-4/+3
*	tools/memory-model: Add litmus-test naming scheme	Paul E. McKenney	2018-10-02	1	-2/+102
*	tools/memory-model: Rename litmus tests to comply to norm7	Andrea Parri	2018-07-17	9	-16/+16
*	tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name	Paul E. McKenney	2018-07-17	1	-1/+1
*	tools/memory-model: Add litmus test for full multicopy atomicity	Paul E. McKenney	2018-07-17	2	-0/+41
*	tools/memory-model: Flag "cumulativity" and "propagation" tests	Paul E. McKenney	2018-05-15	3	-5/+10
*	tools/memory-model: Add model support for spin_is_locked()	Luc Maranget	2018-05-15	3	-0/+79
*	tools/memory-model: Add scripts to test memory model	Paul E. McKenney	2018-05-15	1	-0/+1
*	tools/memory-model: Add documentation of new litmus test	Paul E. McKenney	2018-03-10	1	-0/+6
*	tools/memory-model: Add a S lock-based external-view litmus test	Alan Stern	2018-02-21	1	-0/+41
*	README: Fix a couple of punctuation errors	Paul E. McKenney	2018-02-21	1	-2/+2
*	EXP litmus_tests: Add comments explaining tests' purposes	Paul E. McKenney	2018-02-21	28	-1/+246
*	Automate memory-barriers.txt; provide Linux-kernel memory model	Paul E. McKenney	2018-01-24	29	-0/+786