Google Git
Sign in
linux / linux / kernel / git / will / linux / 2f9fd9e439706c615b77c23d70184ddefa7fb9e0 / tools / memory-model / scripts
  1. 05dc847 tools/memory-model: Document LKMM test procedure by Paul E. McKenney · 2 years, 2 months ago
  2. 2a8ec61 tools/memory-model: Use "grep -E" instead of "egrep" by Tiezhu Yang · 2 years, 4 months ago
  3. 719bef0 tools/memory-model: Use "-unroll 0" to keep --hw runs finite by Paul E. McKenney · 6 years ago
  4. 72b5f10 tools/memory-model: Make judgelitmus.sh handle scripted Result: tag by Paul E. McKenney · 6 years ago
  5. 68f7bca tools/memory-model: Add data-race capabilities to judgelitmus.sh by Paul E. McKenney · 6 years ago
  6. df0f675 tools/memory-model: Add checktheselitmus.sh to run specified litmus tests by Paul E. McKenney · 6 years ago
  7. a4deb29 tools/memory-model: Repair parseargs.sh header comment by Paul E. McKenney · 6 years ago
  8. 8b99521 tools/memory-model: Add "--" to parseargs.sh for additional arguments by Paul E. McKenney · 6 years ago
  9. 75eee92 tools/memory-model: Make history-check scripts use mselect7 by Paul E. McKenney · 6 years ago
  10. 2ac8cbe tools/memory-model: Make checkghlitmus.sh use mselect7 by Paul E. McKenney · 6 years ago
  11. 6e6586b tools/memory-model: Fix scripting --jobs argument by Paul E. McKenney · 6 years ago
  12. 69d476c tools/memory-model: Implement --hw support for checkghlitmus.sh by Paul E. McKenney · 6 years ago
  13. d9313e0 tools/memory-model: Add -v flag to jingle7 runs by Paul E. McKenney · 6 years ago
  14. a9504aaa tools/memory-model: Make runlitmus.sh check for jingle errors by Paul E. McKenney · 6 years ago
  15. b28306a tools/memory-model: Allow herd to deduce CPU type by Paul E. McKenney · 6 years ago
  16. 2027ad4 tools/memory-model: Keep assembly-language litmus tests by Paul E. McKenney · 6 years ago
  17. ee54281 tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.out by Paul E. McKenney · 6 years ago
  18. dbf0b42 tools/memory-model: Make runlitmus.sh generate .litmus.out for --hw by Paul E. McKenney · 6 years ago
  19. 08203824 tools/memory-model: Split runlitmus.sh out of checklitmus.sh by Paul E. McKenney · 6 years ago
  20. 0838ba7 tools/memory-model: Make judgelitmus.sh ransack .litmus.out files by Paul E. McKenney · 6 years ago
  21. 579ecb2 tools/memory-model: Hardware checking for check{,all}litmus.sh by Paul E. McKenney · 6 years ago
  22. e029374 tools/memory-model: Fix checkalllitmus.sh comment by Paul E. McKenney · 6 years ago
  23. aedbf1e tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCU by Paul E. McKenney · 6 years ago
  24. 2024436 tools/memory-model: Make judgelitmus.sh handle hardware verifications by Paul E. McKenney · 6 years ago
  25. b171097 tools/memory-model: Update parseargs.sh for hardware verification by Paul E. McKenney · 6 years ago
  26. 61f615c tools/memory-model: Fix paulmck email address on pre-existing scripts by Paul E. McKenney · 6 years ago
  27. e253a40 tools/memory-model: Make judgelitmus.sh detect hard deadlocks by Paul E. McKenney · 6 years ago
  28. 02484d8 tools/memory-model: Make judgelitmus.sh identify bad macros by Paul E. McKenney · 6 years ago
  29. b1da11c tools/memory-model: Make cmplitmushist.sh note timeouts by Paul E. McKenney · 6 years ago
  30. 2c644d3 tools/memory-model: Make judgelitmus.sh note timeouts by Paul E. McKenney · 6 years ago
  31. 7455cdd tools/memory-model: Make scripts be executable by Paul E. McKenney · 6 years ago
  32. 37c600a tools/memory-model: Do not use "herd" to refer to "herd7" by Andrea Parri · 6 years ago
  33. 910cc959 tools/memory-model: Make scripts take "-j" abbreviation for "--jobs" by Paul E. McKenney · 6 years ago
  34. b02eb5b tools/memory-model: Add scripts to check github litmus tests by Paul E. McKenney · 6 years ago
  35. 24675bb tools/memory-model: Make scripts executable by Paul E. McKenney · 7 years ago
  36. 2fb6ae1 tools/memory-model: Add scripts to test memory model by Paul E. McKenney · 7 years ago