1. b47c05e tools/memory-model: doc: Describe the requirement of the litmus-tests directory by Boqun Feng · 3 years, 2 months ago
  2. 3d5c703 tools/memory-model: Fix typo in klitmus7 compatibility table by Akira Yokosawa · 4 years, 1 month ago
  3. ab8bcad tools/memory-model: Move Documentation description to Documentation/README by Paul E. McKenney · 4 years, 5 months ago
  4. 0b8c06b tools/memory-model: Add a simple entry point document by Paul E. McKenney · 4 years, 5 months ago
  5. 984f272 tools/memory-model: Improve litmus-test documentation by Paul E. McKenney · 4 years, 5 months ago
  6. 2bfa5c6 tools/memory-model/README: Mention herdtools7 7.56 in compatibility table by Akira Yokosawa · 4 years, 6 months ago
  7. d075a78 tools/memory-model/README: Expand dependency of klitmus7 by Akira Yokosawa · 4 years, 7 months ago
  8. 4a9cc65 tools/memory-model: Add an exception for limitations on _unless() family by Boqun Feng · 4 years, 9 months ago
  9. 6738ff8 tools/memory-model: Update the informal documentation by Andrea Parri · 6 years ago
  10. 034fb71 tools/memory-model: Avoid duplicating herdtools versions by Andrea Parri · 6 years ago
  11. ad9fd20 tools/memory-model: Update README for addition of SRCU by Paul E. McKenney · 6 years ago
  12. b02eb5b tools/memory-model: Add scripts to check github litmus tests by Paul E. McKenney · 6 years ago
  13. d8fa25c tools/memory-model: Add more LKMM limitations by Paul E. McKenney · 6 years ago
  14. 71b7ff5 tools/memory-model: Rename litmus tests to comply to norm7 by Andrea Parri · 6 years ago
  15. 5b62832c tools/memory-model: Update required version of herdtools7 by Akira Yokosawa · 7 years ago
  16. d095c12 tools/memory-model: Remove mention of docker/gentoo image by Paul E. McKenney · 7 years ago
  17. 8f7f2fb tools/memory-model: Add required herd7 version to README file by Paul E. McKenney · 7 years ago
  18. 48d44d4 tools/memory-model: Clarify the origin/scope of the tool name by Andrea Parri · 7 years ago
  19. 1c27b64 Automate memory-barriers.txt; provide Linux-kernel memory model by Paul E. McKenney · 7 years ago