delta/linux-next.git - git.kernel.org: pub/scm/linux/kernel/git/next/linux-next.git

	Commit message (Expand)	Author	Age	Files	Lines
*	tools/memory-model: Add reference for 'Simplifying ARM concurrency'	Andrea Parri	2018-05-15	1	-0/+6
*	tools/memory-model: Update ASPLOS information	Andrea Parri	2018-05-15	4	-11/+12
*	tools/memory-model: Fix coding style in 'lock.cat'	Andrea Parri	2018-05-15	1	-14/+14
*	tools/memory-model: Remove out-of-date comments and code from lock.cat	Alan Stern	2018-05-15	1	-9/+6
*	tools/memory-model: Improve mixed-access checking in lock.cat	Alan Stern	2018-05-15	1	-11/+11
*	tools/memory-model: Improve comments in lock.cat	Alan Stern	2018-05-15	1	-15/+36
*	tools/memory-model: Remove duplicated code from lock.cat	Alan Stern	2018-05-15	1	-22/+6
*	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	5	-4/+129
*	tools/memory-model: Add scripts to test memory model	Paul E. McKenney	2018-05-15	3	-0/+160
*	tools/memory-model: Fix coding style in 'linux-kernel.def'	Andrea Parri	2018-05-15	1	-14/+14
*	tools/memory-model: Model 'smp_store_mb()'	Andrea Parri	2018-05-15	1	-0/+1
*	tools/memory-order: Update the cheat-sheet to show that smp_mb__after_atomic(...	Paul E. McKenney	2018-05-15	1	-1/+1
*	tools/memory-order: Improve key for SELF and SV	Paul E. McKenney	2018-05-15	1	-1/+2
*	tools/memory-model: Fix cheat sheet typo	Paolo Bonzini	2018-05-15	1	-1/+1
*	tools/memory-model: Update required version of herdtools7	Akira Yokosawa	2018-05-15	1	-1/+1
*	tools/memory-model: Redefine rb in terms of rcu-fence	Alan Stern	2018-05-15	2	-72/+129
*	tools/memory-model: Rename link and rcu-path to rcu-link and rb	Alan Stern	2018-05-15	2	-54/+55
*	tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(),...	Alan Stern	2018-03-10	3	-6/+6
*	tools/memory-model: Add documentation of new litmus test	Paul E. McKenney	2018-03-10	1	-0/+6
*	tools/memory-model: Remove mention of docker/gentoo image	Paul E. McKenney	2018-03-10	1	-15/+0
*	tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_der...	Alan Stern	2018-02-21	5	-48/+46
*	tools/memory-model: Convert underscores to hyphens	Paul E. McKenney	2018-02-21	3	-9/+9
*	tools/memory-model: Add a S lock-based external-view litmus test	Alan Stern	2018-02-21	1	-0/+41
*	tools/memory-model: Add required herd7 version to README file	Paul E. McKenney	2018-02-21	1	-1/+2
*	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
*	MAINTAINERS: Add the Memory Consistency Model subsystem	Andrea Parri	2018-02-21	1	-15/+0
*	tools/memory-model: Clarify the origin/scope of the tool name	Andrea Parri	2018-02-21	4	-10/+10
*	Automate memory-barriers.txt; provide Linux-kernel memory model	Paul E. McKenney	2018-01-24	40	-0/+3973