Age | Commit message (Expand) | Author | Files | Lines |
2022-05-03 | tools/memory-model/README: Update klitmus7 compat table | Akira Yokosawa | 1 | -1/+2 |
2021-12-01 | tools/memory-model: doc: Describe the requirement of the litmus-tests directory | Boqun Feng | 1 | -0/+12 |
2021-01-05 | tools/memory-model: Fix typo in klitmus7 compatibility table | Akira Yokosawa | 1 | -1/+1 |
2020-10-27 | tools/memory-model: Move Documentation description to Documentation/README | Paul E. McKenney | 1 | -20/+2 |
2020-09-03 | tools/memory-model: Add a simple entry point document | Paul E. McKenney | 1 | -0/+5 |
2020-09-03 | tools/memory-model: Improve litmus-test documentation | Paul E. McKenney | 1 | -117/+38 |
2020-06-29 | tools/memory-model/README: Mention herdtools7 7.56 in compatibility table | Akira Yokosawa | 1 | -1/+1 |
2020-06-29 | tools/memory-model/README: Expand dependency of klitmus7 | Akira Yokosawa | 1 | -2/+28 |
2020-06-29 | tools/memory-model: Add an exception for limitations on _unless() family | Boqun Feng | 1 | -3/+7 |
2019-08-09 | tools/memory-model: Update the informal documentation | Andrea Parri | 1 | -9/+9 |
2019-03-18 | tools/memory-model: Avoid duplicating herdtools versions | Andrea Parri | 1 | -2/+6 |
2019-03-18 | tools/memory-model: Update README for addition of SRCU | Paul E. McKenney | 1 | -2/+23 |
2019-01-21 | tools/memory-model: Add scripts to check github litmus tests | Paul E. McKenney | 1 | -0/+2 |
2018-10-02 | tools/memory-model: Add more LKMM limitations | Paul E. McKenney | 1 | -0/+39 |
2018-07-17 | tools/memory-model: Rename litmus tests to comply to norm7 | Andrea Parri | 1 | -10/+10 |
2018-05-15 | tools/memory-model: Update required version of herdtools7 | Akira Yokosawa | 1 | -1/+1 |
2018-03-10 | tools/memory-model: Remove mention of docker/gentoo image | Paul E. McKenney | 1 | -15/+0 |
2018-02-21 | tools/memory-model: Add required herd7 version to README file | Paul E. McKenney | 1 | -1/+2 |
2018-02-21 | tools/memory-model: Clarify the origin/scope of the tool name | Andrea Parri | 1 | -7/+7 |
2018-01-25 | Automate memory-barriers.txt; provide Linux-kernel memory model | Paul E. McKenney | 1 | -0/+220 |