aboutsummaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/rcutorture/formal
AgeCommit message (Expand)Author
2020-01-17linux-yocto linux-yocto-dev: Fix /bin/awk issuesHe Zhe
2020-01-13linux-yocto: Handle /bin/awk issuesRichard Purdie
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