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

[Andrea Parri]

> > 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.

  Andrea