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