summaryrefslogtreecommitdiff
path: root/tools/memory-model/lock.cat
AgeCommit message (Expand)Author
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