Re: [PATCH] tools/memory-model: Document herd7 (internal) representation

[Alan Stern]

On Wed, Jun 05, 2024 at 09:26:27PM +0200, Andrea Parri wrote:
> > > Here's a much smaller patch, suitable for the -stable kernels.  It fixes 
> > > the bug without doing the larger code reorganization (which will go into 
> > > a separate patch).  Can you test this one?
> > 
> > Testing in progress..., first results are good.
> 
> Completed and good on the various locking litmus tests in the github
> archive and in-tree.

Okay, thanks.  I'll submit the patches soon.

Alan