Hi Paul,
Prompted by your recent updates, I have looked into them and made final
touches for them.
Patch 1/5 is an independent update of rcu-test.dat for Linux v6.17.
Patches 2/5 and 4/5 take care of line-count references by embedding labels
in the .litmus sources.
Patches 3/5 and 5/5 add non-breakable white spaces around one-letter
variables and single digit numbers.
All of them have only summary phrases, but I think they should be good
enough.
Thanks, Akira
--
Akira Yokosawa (5):
CodeSamples/formal: Update rcu-test.dat for v6.17
together/applyrcu: Use \clnref{} and its friends in Section 13.5.9
together/applyrcu: Use nbsp around one-letter variables in Section 13.5.9
together/applyrcu: Use \clnref{} and its friends in Section 13.5.10
together/applyrcu: Use nbsp around one-letter variables in Section 13.5.10
CodeSamples/formal/data/rcu-test.dat | 1 +
...usync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus | 26 +++----
.../formal/herd/C-double-check-rcu-2.litmus | 32 ++++-----
together/applyrcu.tex | 71 +++++++++++--------
4 files changed, 72 insertions(+), 58 deletions(-)
base-commit: fb44848431946e5a42d42fd5dd8a05d6a2298805
--
2.43.0
