| .. |
| Documentation | tools/memory-model/Documentation: Fix SRCU section in explanation.txt | 1 year ago |
| litmus-tests | tools/memory-model: Keep assembly-language litmus tests | 7 years ago |
| scripts | tools/memory-model: Document LKMM test procedure | 3 years ago |
| .gitignore | .gitignore: add SPDX License Identifier | 6 years ago |
| linux-kernel.bell | tools/memory-model: Distinguish between syntactic and semantic tags | 2 years ago |
| linux-kernel.cat | tools/memory-model: Define effect of Mb tags on RMWs in tools/... | 2 years ago |
| linux-kernel.cfg | tools/memory-model: Switch to softcoded herd7 tags | 2 years ago |
| linux-kernel.def | tools/memory-model: Distinguish between syntactic and semantic tags | 2 years ago |
| lock.cat | tools/memory-model: Code reorganization in lock.cat | 2 years ago |
| README | tools/memory-model/README: Fix typo | 1 year ago |