1. c438b7d tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering by Boqun Feng · 3 years, 2 months ago
  2. 5c587f9 tools/memory-model: Remove redundant initialization in litmus tests by Akira Yokosawa · 4 years, 1 month ago
  3. b6ff308 tools/memory-model: Label MP tests' producers and consumers by Paul E. McKenney · 4 years, 2 months ago
  4. acc4bdc tools/memory-model: Use "buf" and "flag" for message-passing tests by Paul E. McKenney · 4 years, 2 months ago
  5. 1947bfc tools/memory-model: Add types to litmus tests by Paul E. McKenney · 4 years, 2 months ago
  6. d198b34 .gitignore: add SPDX License Identifier by Masahiro Yamada · 4 years, 10 months ago
  7. 37c600a tools/memory-model: Do not use "herd" to refer to "herd7" by Andrea Parri · 6 years ago
  8. 46f52b1 tools/memory-model: Fix comment in MP+poonceonces.litmus by Andrea Parri · 6 years ago
  9. 6e89e83 tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire by Alan Stern · 6 years ago
  10. c4f790f tools/memory-model: Add litmus-test naming scheme by Paul E. McKenney · 6 years ago
  11. 71b7ff5 tools/memory-model: Rename litmus tests to comply to norm7 by Andrea Parri · 6 years ago
  12. acb6c96 tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name by Paul E. McKenney · 6 years ago
  13. b464818 tools/memory-model: Add litmus test for full multicopy atomicity by Paul E. McKenney · 6 years ago
  14. 1bd3742 tools/memory-model: Flag "cumulativity" and "propagation" tests by Paul E. McKenney · 7 years ago
  15. 15553dc tools/memory-model: Add model support for spin_is_locked() by Luc Maranget · 7 years ago
  16. 2fb6ae1 tools/memory-model: Add scripts to test memory model by Paul E. McKenney · 7 years ago
  17. ff1fe5e tools/memory-model: Add documentation of new litmus test by Paul E. McKenney · 7 years ago
  18. 556bb7d tools/memory-model: Add a S lock-based external-view litmus test by Alan Stern · 7 years ago
  19. 6215514 README: Fix a couple of punctuation errors by Paul E. McKenney · 7 years ago
  20. 8f32543 EXP litmus_tests: Add comments explaining tests' purposes by Paul E. McKenney · 7 years ago
  21. 1c27b64 Automate memory-barriers.txt; provide Linux-kernel memory model by Paul E. McKenney · 7 years ago