[PATCH lkmm 0/2] tools/memory-model: Add locking.txt and glossary.txt to README

From: Akira Yokosawa
Date: Fri Jun 21 2024 - 00:08:43 EST


Hi all,

[+CC: Marco, as Patch 1/2 includes update related to access-marking.txt.]

Looks to me like Andrea's herd-representation.txt has stabilized.
Patch 1/2 fills missing pieces in docs/README.

While skimming through documents, I noticed a typo in simple.txt.
Patch 2/2 fixes it.

Thanks, Akira
--
Akira Yokosawa (2):
tools/memory-model: Add locking.txt and glossary.txt to README
tools/memory-model: simple.txt: Fix dangling reference to
recipes-pairs.txt

tools/memory-model/Documentation/README | 17 +++++++++++++++++
tools/memory-model/Documentation/simple.txt | 2 +-
2 files changed, 18 insertions(+), 1 deletion(-)


base-commit: 662b960d12d280476c4b09070ed6c4b808ee91da
--
2.34.1