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

From: Boqun Feng
Date: Mon Jun 17 2024 - 23:38:41 EST


On Tue, Jun 18, 2024 at 05:27:45AM +0200, Andrea Parri wrote:
> > Just to double check, there is also a ->po relation between R*[once] and
> > W*[once], right?
>
> That's right. rmw = rmw & po
>
> I could add a note about that, but I would stick with the current patch
> /version (and your Reviewed-by:) unless other requests.
>

Current version is fine to me, thanks!

Regards,
Boqun

> Andrea