Oops: "use x and y somehow" should read "use y and z somehow" in the
example I gave. Hopefully that's not too confusing.
On Tue, Sep 25, 2018 at 11:09 PM Tom Lee wrote:
> How to interpret a citation given by Cezary?: "If x and y are actions of
>> the same thread and x comes before y in program
>
> How to interpret a citation given by Cezary?: "If x and y are actions of
> the same thread and x comes before y in program order, then hb(x, y)."
This is a great question! Hopefully I'm not too far off-base but I think it
comes down to effects/"visibility" and this statement hints at the
