summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/rcutorture/formal
AgeCommit message (Expand)Author
2021-05-12rcu: Fix various typos in commentsIngo Molnar
2020-03-25.gitignore: add SPDX License IdentifierMasahiro Yamada
2019-04-06block: remove CONFIG_LBDAFChristoph Hellwig
2018-12-01rcutorture/formal: Replace synchronize_sched() with synchronize_rcu()Paul E. McKenney
2017-11-07Merge branch 'linus' into locking/core, to resolve conflictsIngo Molnar
2017-11-02License cleanup: add SPDX GPL-2.0 license identifier to files with no licenseGreg Kroah-Hartman
2017-10-25locking/atomics, rcutorture/formal: Prepare for ACCESS_ONCE() removalMark Rutland
2017-06-08srcu-cbmc: Use /usr/bin/awk instead of /bin/awkPriyalee Kushwaha
2017-01-25rcutorture: Add CBMC-based formal verification for SRCULance Roy