aboutsummaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/rcutorture/formal (follow)
AgeCommit message (Expand)AuthorFilesLines
2021-05-12rcu: Fix various typos in commentsIngo Molnar1-1/+1
2020-03-25.gitignore: add SPDX License IdentifierMasahiro Yamada3-0/+3
2019-04-06block: remove CONFIG_LBDAFChristoph Hellwig1-4/+0
2018-12-01rcutorture/formal: Replace synchronize_sched() with synchronize_rcu()Paul E. McKenney1-2/+2
2017-11-07Merge branch 'linus' into locking/core, to resolve conflictsIngo Molnar20-0/+20
2017-11-02License cleanup: add SPDX GPL-2.0 license identifier to files with no licenseGreg Kroah-Hartman20-0/+20
2017-10-25locking/atomics, rcutorture/formal: Prepare for ACCESS_ONCE() removalMark Rutland1-3/+2
2017-06-08srcu-cbmc: Use /usr/bin/awk instead of /bin/awkPriyalee Kushwaha1-1/+1
2017-01-25rcutorture: Add CBMC-based formal verification for SRCULance Roy40-0/+1582