summaryrefslogtreecommitdiff
path: root/Documentation/dev-tools/kcsan.rst
AgeCommit message (Expand)AuthorFilesLines
2021-12-09kcsan: Document modeling of weak memoryMarco Elver1-13/+63
2021-07-20kcsan: Rework atomic.h into permissive.hMarco Elver1-0/+8
2021-07-20kcsan: Introduce CONFIG_KCSAN_STRICTMarco Elver1-0/+4
2021-05-18kcsan: Use URL link for pointing access-marking.txtAkira Yokosawa1-2/+3
2021-05-18kcsan: Document "value changed" lineMarco Elver1-53/+35
2021-05-18kcsan: Add pointer to access-marking.txt to data_race() bulletPaul E. McKenney1-1/+3
2021-03-08kcsan: Add missing license and copyright headersMarco Elver1-0/+3
2020-06-29kcsan: Re-add GCC as a supported compilerMarco Elver1-1/+2
2020-06-15kcsan: Remove __no_kcsan_or_inlinePeter Zijlstra1-6/+0
2020-06-11kcsan: Update Documentation to change supported compilersMarco Elver1-8/+1
2020-04-13kcsan: Introduce scoped ASSERT_EXCLUSIVE macrosMarco Elver1-1/+2
2020-03-25kcsan: Update Documentation/dev-tools/kcsan.rstMarco Elver1-83/+144
2020-01-07kcsan: Document static blacklisting optionsMarco Elver1-7/+17
2019-11-16kcsan: Add Documentation entry in dev-toolsMarco Elver1-0/+256