aboutsummaryrefslogtreecommitdiff
path: root/tools/testing/selftests/rcutorture/formal
AgeCommit message (Expand)AuthorFilesLines
2020-03-25.gitignore: add SPDX License IdentifierGravatar Masahiro Yamada 3-0/+3
2019-04-06block: remove CONFIG_LBDAFGravatar Christoph Hellwig 1-4/+0
2018-12-01rcutorture/formal: Replace synchronize_sched() with synchronize_rcu()Gravatar Paul E. McKenney 1-2/+2
2017-11-07Merge branch 'linus' into locking/core, to resolve conflictsGravatar Ingo Molnar 20-0/+20
2017-11-02License cleanup: add SPDX GPL-2.0 license identifier to files with no licenseGravatar Greg Kroah-Hartman 20-0/+20
2017-10-25locking/atomics, rcutorture/formal: Prepare for ACCESS_ONCE() removalGravatar Mark Rutland 1-3/+2
2017-06-08srcu-cbmc: Use /usr/bin/awk instead of /bin/awkGravatar Priyalee Kushwaha 1-1/+1
2017-01-25rcutorture: Add CBMC-based formal verification for SRCUGravatar Lance Roy 40-0/+1582