Hello! This series celebrates the release of version 7.58 of herd7, which permits these commits to head to mainline: 1. Add atomic_and()/or()/xor() and add_negative, courtesy of Puranjay Mohan. 2. Add atomic_andnot() with its variants, courtesy of Puranjay Mohan. 3. Legitimize current use of tags in LKMM macros, courtesy of Jonas Oberhauser. 4. Define applicable tags on operation in tools/..., courtesy of Jonas Oberhauser. 5. Define effect of Mb tags on RMWs in tools/..., courtesy of Jonas Oberhauser. 6. Switch to softcoded herd7 tags, courtesy of Jonas Oberhauser. 7. Distinguish between syntactic and semantic tags, courtesy of Jonas Oberhauser. Thanx, Paul ------------------------------------------------------------------------ b/tools/memory-model/Documentation/herd-representation.txt | 27 - b/tools/memory-model/README | 2 b/tools/memory-model/linux-kernel.bell | 9 b/tools/memory-model/linux-kernel.cat | 10 b/tools/memory-model/linux-kernel.cfg | 1 b/tools/memory-model/linux-kernel.def | 21 + tools/memory-model/Documentation/herd-representation.txt | 44 +- tools/memory-model/linux-kernel.bell | 36 +- tools/memory-model/linux-kernel.def | 222 ++++++------- 9 files changed, 215 insertions(+), 157 deletions(-)
