| 0031e38adf38 ("tools/memory-model: Add data-race detection") |
| d1a84ab19013 ("tools/memory-model: Add definitions of plain and marked accesses") |
| 4494dd58fbb4 ("tools/memory-model: Prepare for data-race detection") |
| 9393998e9ee0 ("tools/memory-model: Dynamically check SRCU lock-to-unlock matching") |
| a3f600d92da5 ("tools/memory-model: Add SRCU support") |
| 284749b0aebb ("tools/memory-model: Refactor some RCU relations") |
| 0172d9e32203 ("tools/memory-model: Rename some RCU relations") |
| 5b735eb1ce48 ("tools/memory-model: Model smp_mb__after_unlock_lock()") |
| 6e89e831a901 ("tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire") |
| d17013e0bac6 ("tools/memory-model: Fix coding style in 'linux-kernel.def'") |
| 9d036883a179 ("tools/memory-model: Redefine rb in terms of rcu-fence") |
| 1ee2da5f9b5a ("tools/memory-model: Rename link and rcu-path to rcu-link and rb") |
| bf28ae562744 ("tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference") |
| cac79a39f200 ("tools/memory-model: Convert underscores to hyphens") |
| 556bb7d252ae ("tools/memory-model: Add a S lock-based external-view litmus test") |
| 1c27b644c0fd ("Automate memory-barriers.txt; provide Linux-kernel memory model") |