| Age | Commit message (Expand) | Author |
|---|
| 2023-03-24 | tools/memory-model: Document LKMM test procedure | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Use "grep -E" instead of "egrep" | Tiezhu Yang |
| 2023-03-24 | tools/memory-model: Use "-unroll 0" to keep --hw runs finite | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make judgelitmus.sh handle scripted Result: tag | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Add data-race capabilities to judgelitmus.sh | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Add checktheselitmus.sh to run specified litmus tests | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Repair parseargs.sh header comment | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Add "--" to parseargs.sh for additional arguments | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make history-check scripts use mselect7 | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make checkghlitmus.sh use mselect7 | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Fix scripting --jobs argument | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Implement --hw support for checkghlitmus.sh | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Add -v flag to jingle7 runs | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make runlitmus.sh check for jingle errors | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Allow herd to deduce CPU type | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Keep assembly-language litmus tests | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.out | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make runlitmus.sh generate .litmus.out for --hw | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Split runlitmus.sh out of checklitmus.sh | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make judgelitmus.sh ransack .litmus.out files | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Hardware checking for check{,all}litmus.sh | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Fix checkalllitmus.sh comment | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCU | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make judgelitmus.sh handle hardware verifications | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Update parseargs.sh for hardware verification | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Fix paulmck email address on pre-existing scripts | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make judgelitmus.sh detect hard deadlocks | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make judgelitmus.sh identify bad macros | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make cmplitmushist.sh note timeouts | Paul E. McKenney |
| 2023-03-24 | tools/memory-model: Make judgelitmus.sh note timeouts | Paul E. McKenney |
| 2019-08-01 | tools/memory-model: Make scripts be executable | Paul E. McKenney |
| 2019-06-19 | tools/memory-model: Do not use "herd" to refer to "herd7" | Andrea Parri |
| 2019-01-21 | tools/memory-model: Make scripts take "-j" abbreviation for "--jobs" | Paul E. McKenney |
| 2019-01-21 | tools/memory-model: Add scripts to check github litmus tests | Paul E. McKenney |
| 2018-07-17 | tools/memory-model: Make scripts executable | Paul E. McKenney |
| 2018-05-15 | tools/memory-model: Add scripts to test memory model | Paul E. McKenney |
