Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-07-27 | tools/memory-model: Document data_race(READ_ONCE()) | 1 | -14/+35 | |
2021-07-27 | tools/memory-model: Heuristics using data_race() must handle all values | 1 | -0/+5 | |
2021-07-27 | tools/memory-model: Add example for heuristic lockless reads | 1 | -0/+93 | |
2021-07-20 | tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic | 1 | -2/+2 | |
2021-03-15 | tools/memory-model: Add access-marking documentation | 1 | -0/+479 |