| .. |
| Documentation | tools/memory-model: Rename litmus tests to comply to norm7 | 8 years ago |
| litmus-tests | tools/memory-model: Rename litmus tests to comply to norm7 | 8 years ago |
| scripts | tools/memory-model: Make scripts executable | 8 years ago |
| linux-kernel.bell | tools/memory-model: Remove ACCESS_ONCE() from model | 8 years ago |
| linux-kernel.cat | tools/memory-model: Update ASPLOS information | 8 years ago |
| linux-kernel.cfg | Automate memory-barriers.txt; provide Linux-kernel memory model | 8 years ago |
| linux-kernel.def | tools/memory-model: Update ASPLOS information | 8 years ago |
| lock.cat | tools/memory-model: Fix coding style in 'lock.cat' | 8 years ago |
| README | tools/memory-model: Rename litmus tests to comply to norm7 | 8 years ago |