| .. |
| Documentation | Merge tag 'locking-core-2020-08-03' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip | 6 years ago |
| litmus-tests | .gitignore: add SPDX License Identifier | 6 years ago |
| scripts | tools/memory-model: Make scripts be executable | 7 years ago |
| .gitignore | .gitignore: add SPDX License Identifier | 6 years ago |
| linux-kernel.bell | tools/memory-model: Add data-race detection | 7 years ago |
| linux-kernel.cat | tools/memory-model: Fix data race detection for unordered store and load | 7 years ago |
| linux-kernel.cfg | Automate memory-barriers.txt; provide Linux-kernel memory model | 8 years ago |
| linux-kernel.def | tools/memory-model: Add data-race detection | 7 years ago |
| lock.cat | tools/memory-model: Do not use "herd" to refer to "herd7" | 7 years ago |
| README | tools/memory-model/README: Mention herdtools7 7.56 in compatibility table | 6 years ago |