1. 71b7ff5 tools/memory-model: Rename litmus tests to comply to norm7 by Andrea Parri · 7 years ago
  2. b464818 tools/memory-model: Add litmus test for full multicopy atomicity by Paul E. McKenney · 7 years ago
  3. 1bd3742 tools/memory-model: Flag "cumulativity" and "propagation" tests by Paul E. McKenney · 7 years ago
  4. 15553dc tools/memory-model: Add model support for spin_is_locked() by Luc Maranget · 7 years ago
  5. ff1fe5e tools/memory-model: Add documentation of new litmus test by Paul E. McKenney · 7 years ago
  6. 6215514 README: Fix a couple of punctuation errors by Paul E. McKenney · 7 years ago
  7. 1c27b64 Automate memory-barriers.txt; provide Linux-kernel memory model by Paul E. McKenney · 7 years ago