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