linux - Linux Kernel (branches are rebased on master from time to time)

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