| .. |
| Documentation | tools/memory-model/Documentation: Add plain accesses and data races to explanation.txt | 7 years ago |
| litmus-tests | tools/memory-model: Do not use "herd" to refer to "herd7" | 7 years ago |
| scripts | tools/memory-model: Make scripts be executable | 7 years ago |
| .gitignore | tools/memory-model: Add scripts to check github litmus tests | 7 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: Update the informal documentation | 7 years ago |