On Tue, Oct 07, 2025 at 11:48:34PM +0900, Akira Yokosawa wrote:
> 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.
Agreed! Queued and pushed, and thank you very much! Those line-count
changes especially will make any future modifications of those litmus
tests much easier.
Thanx, Paul
> 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
>
