summaryrefslogtreecommitdiff
path: root/tools/memory-model/lock.cat
AgeCommit message (Expand)Author
2024-06-06tools/memory-model: Code reorganization in lock.catAlan Stern
2024-06-06tools/memory-model: Fix bug in lock.catAlan Stern
2023-03-22tools/memory-model: Provide exact SRCU semanticsAlan Stern
2019-06-19tools/memory-model: Do not use "herd" to refer to "herd7"Andrea Parri
2019-03-18tools/memory-model: Avoid duplicating herdtools versionsAndrea Parri
2018-05-15tools/memory-model: Fix coding style in 'lock.cat'Andrea Parri
2018-05-15tools/memory-model: Remove out-of-date comments and code from lock.catAlan Stern
2018-05-15tools/memory-model: Improve mixed-access checking in lock.catAlan Stern
2018-05-15tools/memory-model: Improve comments in lock.catAlan Stern
2018-05-15tools/memory-model: Remove duplicated code from lock.catAlan Stern
2018-05-15tools/memory-model: Add model support for spin_is_locked()Luc Maranget
2018-01-24Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney