Age | Commit message (Expand) | Author | Files | Lines |
2021-12-09 | kcsan: Document modeling of weak memory | Marco Elver | 1 | -13/+63 |
2021-07-20 | kcsan: Rework atomic.h into permissive.h | Marco Elver | 1 | -0/+8 |
2021-07-20 | kcsan: Introduce CONFIG_KCSAN_STRICT | Marco Elver | 1 | -0/+4 |
2021-05-18 | kcsan: Use URL link for pointing access-marking.txt | Akira Yokosawa | 1 | -2/+3 |
2021-05-18 | kcsan: Document "value changed" line | Marco Elver | 1 | -53/+35 |
2021-05-18 | kcsan: Add pointer to access-marking.txt to data_race() bullet | Paul E. McKenney | 1 | -1/+3 |
2021-03-08 | kcsan: Add missing license and copyright headers | Marco Elver | 1 | -0/+3 |
2020-06-29 | kcsan: Re-add GCC as a supported compiler | Marco Elver | 1 | -1/+2 |
2020-06-15 | kcsan: Remove __no_kcsan_or_inline | Peter Zijlstra | 1 | -6/+0 |
2020-06-11 | kcsan: Update Documentation to change supported compilers | Marco Elver | 1 | -8/+1 |
2020-04-13 | kcsan: Introduce scoped ASSERT_EXCLUSIVE macros | Marco Elver | 1 | -1/+2 |
2020-03-25 | kcsan: Update Documentation/dev-tools/kcsan.rst | Marco Elver | 1 | -83/+144 |
2020-01-07 | kcsan: Document static blacklisting options | Marco Elver | 1 | -7/+17 |
2019-11-16 | kcsan: Add Documentation entry in dev-tools | Marco Elver | 1 | -0/+256 |