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

Andrea Parri
2023-03-22T01:07:47Z

> +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?

Andrea