Code

History

Commits on master to tools/memory-model/README22
  1. tools/memory-model/README: Fix typoAkira Yokosawa committed 1 year agofa9e35a
  2. tools/memory-model: Switch to softcoded herd7 tagsJonas Oberhauser committed 2 years agofafa180
  3. tools/memory-model/README: Update klitmus7 compat tableAkira Yokosawa committed 4 years ago5b759db
  4. tools/memory-model: doc: Describe the requirement of the litmus-tests directoryBoqun Feng committed 5 years agob47c05e
  5. tools/memory-model: Fix typo in klitmus7 compatibility tableAkira Yokosawa committed 5 years ago3d5c703
  6. tools/memory-model: Move Documentation description to Documentation/READMEPaul E. McKenney committed 6 years agoab8bcad
  7. tools/memory-model: Add a simple entry point documentPaul E. McKenney committed 6 years ago0b8c06b
  8. tools/memory-model: Improve litmus-test documentationPaul E. McKenney committed 6 years ago984f272
  9. tools/memory-model/README: Mention herdtools7 7.56 in compatibility tableAkira Yokosawa committed 6 years ago2bfa5c6
  10. tools/memory-model/README: Expand dependency of klitmus7Akira Yokosawa committed 6 years agod075a78
  11. tools/memory-model: Add an exception for limitations on _unless() familyBoqun Feng committed 6 years ago4a9cc65
  12. tools/memory-model: Update the informal documentationAndrea Parri committed 7 years ago6738ff8
  13. tools/memory-model: Avoid duplicating herdtools versionsAndrea Parri committed 7 years ago034fb71
  14. tools/memory-model: Update README for addition of SRCUPaul E. McKenney committed 7 years agoad9fd20
  15. tools/memory-model: Add scripts to check github litmus testsPaul E. McKenney committed 7 years agob02eb5b
  16. tools/memory-model: Add more LKMM limitationsPaul E. McKenney committed 8 years agod8fa25c
  17. tools/memory-model: Rename litmus tests to comply to norm7Andrea Parri committed 8 years ago71b7ff5
  18. tools/memory-model: Update required version of herdtools7Akira Yokosawa committed 8 years ago5b62832
  19. tools/memory-model: Remove mention of docker/gentoo imagePaul E. McKenney committed 8 years agod095c12
  20. tools/memory-model: Add required herd7 version to README filePaul E. McKenney committed 8 years ago8f7f2fb
  21. tools/memory-model: Clarify the origin/scope of the tool nameAndrea Parri committed 8 years ago48d44d4
  22. Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney committed 8 years ago1c27b64