| .. |
| checkalllitmus.sh | tools/memory-model: Hardware checking for check{,all}litmus.sh | 7 years ago |
| checkghlitmus.sh | tools/memory-model: Use "grep -E" instead of "egrep" | 3 years ago |
| checklitmus.sh | tools/memory-model: Split runlitmus.sh out of checklitmus.sh | 7 years ago |
| checklitmushist.sh | tools/memory-model: Fix paulmck email address on pre-existing scripts | 7 years ago |
| checktheselitmus.sh | tools/memory-model: Add checktheselitmus.sh to run specified litmus tests | 7 years ago |
| cmplitmushist.sh | tools/memory-model: Make judgelitmus.sh identify bad macros | 7 years ago |
| hwfnseg.sh | tools/memory-model: Implement --hw support for checkghlitmus.sh | 7 years ago |
| initlitmushist.sh | tools/memory-model: Make history-check scripts use mselect7 | 7 years ago |
| judgelitmus.sh | tools/memory-model: Make judgelitmus.sh handle scripted Result: tag | 7 years ago |
| newlitmushist.sh | tools/memory-model: Make history-check scripts use mselect7 | 7 years ago |
| parseargs.sh | tools/memory-model: Repair parseargs.sh header comment | 7 years ago |
| README | tools/memory-model: Document LKMM test procedure | 3 years ago |
| runlitmus.sh | tools/memory-model: Use "-unroll 0" to keep --hw runs finite | 7 years ago |
| runlitmushist.sh | tools/memory-model: Implement --hw support for checkghlitmus.sh | 7 years ago |
| simpletest.sh | tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCU | 7 years ago |