summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/litmus-tests/LB+fencembonceonce+ctrlonceonce.litmus (follow)
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Remove redundant initialization in litmus testsAkira Yokosawa2021-01-041-4/+1
* tools/memory-model: Add types to litmus testsPaul E. McKenney2020-11-071-1/+4
* tools/memory-model: Rename litmus tests to comply to norm7Andrea Parri2018-07-171-0/+34