summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/scripts (follow)
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Do not use "herd" to refer to "herd7"Andrea Parri2019-06-195-6/+6
* tools/memory-model: Make scripts take "-j" abbreviation for "--jobs"Paul E. McKenney2019-01-211-2/+12
* tools/memory-model: Add scripts to check github litmus testsPaul E. McKenney2019-01-2111-93/+736
* tools/memory-model: Make scripts executablePaul E. McKenney2018-07-172-2/+2
* tools/memory-model: Add scripts to test memory modelPaul E. McKenney2018-05-152-0/+159