summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/litmus-tests/MP+polockmbonce+poacquiresilsil.litmus (follow)
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Remove redundant initialization in litmus testsAkira Yokosawa2021-01-041-4/+1
* tools/memory-model: Label MP tests' producers and consumersPaul E. McKenney2020-11-071-3/+3
* tools/memory-model: Add types to litmus testsPaul E. McKenney2020-11-071-0/+2
* tools/memory-model: Add model support for spin_is_locked()Luc Maranget2018-05-151-0/+35