aboutsummaryrefslogtreecommitdiff
path: root/tools/memory-model/lock.cat
AgeCommit message (Expand)AuthorFilesLines
2024-06-06tools/memory-model: Code reorganization in lock.catAlan Stern1-21/+35
2024-06-06tools/memory-model: Fix bug in lock.catAlan Stern1-10/+10
2023-03-22tools/memory-model: Provide exact SRCU semanticsAlan Stern1-3/+3
2019-06-19tools/memory-model: Do not use "herd" to refer to "herd7"Andrea Parri1-1/+1
2019-03-18tools/memory-model: Avoid duplicating herdtools versionsAndrea Parri1-3/+0
2018-05-15tools/memory-model: Fix coding style in 'lock.cat'Andrea Parri1-14/+14
2018-05-15tools/memory-model: Remove out-of-date comments and code from lock.catAlan Stern1-9/+6
2018-05-15tools/memory-model: Improve mixed-access checking in lock.catAlan Stern1-11/+11
2018-05-15tools/memory-model: Improve comments in lock.catAlan Stern1-15/+36
2018-05-15tools/memory-model: Remove duplicated code from lock.catAlan Stern1-22/+6
2018-05-15tools/memory-model: Add model support for spin_is_locked()Luc Maranget1-4/+49
2018-01-24Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney1-0/+99
generated by cgit