Re: [PATCH v4 5/5] tools/memory-model: Distinguish between syntactic and semantic tags

Jonas, despite the CC, your message has not made my gmail mbox, not even
the spam folder.
I'm replying using lore's reply link.

On Thu, 7 Nov 2024 10:05:18 +0100, Jonas Oberhauser wrote:
> Am 11/6/2024 um 7:00 PM schrieb Paul E. McKenney:
>> Never mind, I found your patch in my spam folder. 
> Glad that got cleared up. I had gotten very confused because you had 
> also responded to the thread with the patch.
> 
>  > check this commit on -rcu
> 
> For future reference, where can I find the -rcu repository? I couldn't 
> find the commit on paulmckrcu/linux, but maybe I looked incorrectly.

You can find your patches at:

    [v4] https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git/commit/?id=c53d54ed7e40255ea0ea66dd121672fd22423326
    [v5] https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git/commit/?id=9b13bea0966c498629e221c3022a591cc88d4c57

and

    [v4] https://github.com/paulmckrcu/linux/commit/c53d54ed7e40255ea0ea66dd121672fd22423326
    [v5] https://github.com/paulmckrcu/linux/commit/9b13bea0966c498629e221c3022a591cc88d4c57

As Paul mentioned elsewhere, the [v5] patch misses tags from Boqun at the moment.

HTH, Akira

> 
> 
> Have fun,
>     jonas