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