Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | tools/memory-model: Use "-unroll 0" to keep --hw runs finite | Paul E. McKenney | 2023-03-24 | 1 | -1/+1 |
* | tools/memory-model: Add -v flag to jingle7 runs | Paul E. McKenney | 2023-03-24 | 1 | -2/+3 |
* | tools/memory-model: Make runlitmus.sh check for jingle errors | Paul E. McKenney | 2023-03-24 | 1 | -0/+5 |
* | tools/memory-model: Allow herd to deduce CPU type | Paul E. McKenney | 2023-03-24 | 1 | -2/+1 |
* | tools/memory-model: Keep assembly-language litmus tests | Paul E. McKenney | 2023-03-24 | 1 | -2/+2 |
* | tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.out | Paul E. McKenney | 2023-03-24 | 1 | -1/+1 |
* | tools/memory-model: Make runlitmus.sh generate .litmus.out for --hw | Paul E. McKenney | 2023-03-24 | 1 | -24/+30 |
* | tools/memory-model: Split runlitmus.sh out of checklitmus.sh | Paul E. McKenney | 2023-03-24 | 1 | -0/+69 |