summaryrefslogtreecommitdiff
path: root/tools/memory-model/scripts/runlitmus.sh
AgeCommit message (Expand)AuthorFilesLines
2023-03-24tools/memory-model: Use "-unroll 0" to keep --hw runs finitePaul E. McKenney1-1/+1
2023-03-24tools/memory-model: Add -v flag to jingle7 runsPaul E. McKenney1-2/+3
2023-03-24tools/memory-model: Make runlitmus.sh check for jingle errorsPaul E. McKenney1-0/+5
2023-03-24tools/memory-model: Allow herd to deduce CPU typePaul E. McKenney1-2/+1
2023-03-24tools/memory-model: Keep assembly-language litmus testsPaul E. McKenney1-2/+2
2023-03-24tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.outPaul E. McKenney1-1/+1
2023-03-24tools/memory-model: Make runlitmus.sh generate .litmus.out for --hwPaul E. McKenney1-24/+30
2023-03-24tools/memory-model: Split runlitmus.sh out of checklitmus.shPaul E. McKenney1-0/+69