summaryrefslogtreecommitdiff
path: root/tools/memory-model/scripts/runlitmus.sh
AgeCommit message (Expand)AuthorFilesLines
2023-03-24tools/memory-model: Split runlitmus.sh out of checklitmus.shPaul E. McKenney1-0/+69