Re: [PATCH memory-model 5/8] tools/memory-model: Provide exact SRCU semantics

[Alan Stern]

On Wed, Mar 22, 2023 at 02:07:40AM +0100, Andrea Parri wrote:
> > +let carry-srcu-data = (data ; [~ Srcu-unlock] ; rf)*
> 
> > +let carry-dep = (data ; [~ Srcu-unlock] ; rfi)*
> 
> Nit: we use "~M" (no space after the unary operator) in this file, is
> there a reason for the different styles?

No reason that I know of, just lack of thought (as far as 
carry-srcu-data is concerned).  Feel free to change it.

Alan