| 0b8c06b75ea1 ("tools/memory-model: Add a simple entry point document") |
| 984f272be9d7 ("tools/memory-model: Improve litmus-test documentation") |
| 4a9cc65f7a71 ("tools/memory-model: Add an exception for limitations on _unless() family") |
| 6738ff85c3ee ("tools/memory-model: Update the informal documentation") |
| ad9fd20b6dad ("tools/memory-model: Update README for addition of SRCU") |
| b02eb5b0961a ("tools/memory-model: Add scripts to check github litmus tests") |
| d8fa25c4efde ("tools/memory-model: Add more LKMM limitations") |
| 71b7ff5ebc9b ("tools/memory-model: Rename litmus tests to comply to norm7") |
| 24675bb554f9 ("tools/memory-model: Make scripts executable") |
| 1bd3742043fa ("tools/memory-model: Flag "cumulativity" and "propagation" tests") |
| 2fb6ae162f25 ("tools/memory-model: Add scripts to test memory model") |
| bf28ae562744 ("tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference") |
| cac79a39f200 ("tools/memory-model: Convert underscores to hyphens") |
| 62155147048f ("README: Fix a couple of punctuation errors") |
| 8f32543b61d7 ("EXP litmus_tests: Add comments explaining tests' purposes") |
| 1c27b644c0fd ("Automate memory-barriers.txt; provide Linux-kernel memory model") |