Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-12-10 | kcsan: Add core support for a subset of weak memory modeling | Marco Elver | 1 | -1/+9 |
2021-12-10 | kcsan: Avoid checking scoped accesses from nested contexts | Marco Elver | 1 | -0/+1 |
2021-03-09 | kcsan: Add missing license and copyright headers | Marco Elver | 1 | -0/+7 |
2020-04-14 | kcsan: Move kcsan_{disable,enable}_current() to kcsan-checks.h | Marco Elver | 1 | -16/+0 |
2020-04-14 | kcsan: Add support for scoped accesses | Marco Elver | 1 | -0/+3 |
2020-03-21 | kcsan: Add kcsan_set_access_mask() support | Marco Elver | 1 | -0/+5 |
2020-03-21 | kcsan: Move interfaces that affects checks to kcsan-checks.h | Marco Elver | 1 | -41/+0 |
2019-11-20 | kcsan: Improve various small stylistic details | Ingo Molnar | 1 | -15/+8 |
2019-11-16 | kcsan: Add Kernel Concurrency Sanitizer infrastructure | Marco Elver | 1 | -0/+115 |