summaryrefslogtreecommitdiff
path: root/tools/memory-model/Documentation/litmus-tests.txt
AgeCommit message (Expand)AuthorFilesLines
2023-03-24tools/memory-model: Remove out-of-date SRCU documentationAndrea Parri1-26/+1
2022-08-31tools/memory-model: Clarify LKMM's limitations in litmus-tests.txtPaul Heidekrüger1-10/+27
2020-10-27tools: memory-model: Document that the LKMM can easily miss control dependenciesAlan Stern1-0/+17
2020-09-03tools/memory-model: Add a simple entry point documentPaul E. McKenney1-2/+6
2020-09-03tools/memory-model: Improve litmus-test documentationPaul E. McKenney1-0/+1070