Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
8 days | Merge tag 'kcsan.2024.07.12a' of git://git.kernel.org/pub/scm/linux/kernel/gi... | Linus Torvalds | 1 | -1/+23 |
2024-06-06 | tools/memory-model: Add KCSAN LF mentorship session citation | Paul E. McKenney | 1 | -3/+7 |
2024-05-31 | kcsan: Add example to data_race() kerneldoc header | Paul E. McKenney | 1 | -1/+23 |
2021-07-27 | tools/memory-model: Document data_race(READ_ONCE()) | Paul E. McKenney | 1 | -14/+35 |
2021-07-27 | tools/memory-model: Heuristics using data_race() must handle all values | Manfred Spraul | 1 | -0/+5 |
2021-07-27 | tools/memory-model: Add example for heuristic lockless reads | Paul E. McKenney | 1 | -0/+93 |
2021-07-20 | tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic | Paul E. McKenney | 1 | -2/+2 |
2021-03-15 | tools/memory-model: Add access-marking documentation | Paul E. McKenney | 1 | -0/+479 |