summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/litmus-tests (follow)
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Add documentation of new litmus testPaul E. McKenney2018-03-101-0/+6
* tools/memory-model: Add a S lock-based external-view litmus testAlan Stern2018-02-211-0/+41
* README: Fix a couple of punctuation errorsPaul E. McKenney2018-02-211-2/+2
* EXP litmus_tests: Add comments explaining tests' purposesPaul E. McKenney2018-02-2128-1/+246
* Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney2018-01-2529-0/+786