summaryrefslogtreecommitdiff
path: root/tools/memory-model/Documentation/litmus-tests.txt
AgeCommit message (Expand)Author
2020-10-26tools: memory-model: Document that the LKMM can easily miss control dependenciesAlan Stern
2020-09-03tools/memory-model: Add a simple entry point documentPaul E. McKenney
2020-09-03tools/memory-model: Improve litmus-test documentationPaul E. McKenney