Age | Commit message (Expand) | Author |
---|---|---|
2023-03-24 | tools/memory-model: Use "-unroll 0" to keep --hw runs finite | 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 |