Re: [PATCH v3] tools/memory-model: Document herd7 (abstract) representation
From: Andrea Parri
Date: Mon Jun 17 2024 - 23:28:12 EST
> 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.
Andrea