summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/lock.cat (follow)
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Code reorganization in lock.catAlan Stern2024-06-061-21/+35
* tools/memory-model: Fix bug in lock.catAlan Stern2024-06-061-10/+10
* tools/memory-model: Provide exact SRCU semanticsAlan Stern2023-03-221-3/+3
* tools/memory-model: Do not use "herd" to refer to "herd7"Andrea Parri2019-06-191-1/+1
* tools/memory-model: Avoid duplicating herdtools versionsAndrea Parri2019-03-181-3/+0
* tools/memory-model: Fix coding style in 'lock.cat'Andrea Parri2018-05-151-14/+14
* tools/memory-model: Remove out-of-date comments and code from lock.catAlan Stern2018-05-151-9/+6
* tools/memory-model: Improve mixed-access checking in lock.catAlan Stern2018-05-151-11/+11
* tools/memory-model: Improve comments in lock.catAlan Stern2018-05-151-15/+36
* tools/memory-model: Remove duplicated code from lock.catAlan Stern2018-05-151-22/+6
* tools/memory-model: Add model support for spin_is_locked()Luc Maranget2018-05-151-4/+49
* Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney2018-01-251-0/+99
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-01 22:55:21 +0100