Skip to content

Commit

Permalink
Editorial: fix grammar of synchronizes-with conditions (#1065)
Browse files Browse the repository at this point in the history
  • Loading branch information
conrad-watt authored and bterlson committed Feb 1, 2018
1 parent 314549b commit f812bc5
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -38629,8 +38629,9 @@ <h1>synchronizes-with</h1>
<p>For each pair (_R_, _W_) in _execution_.[[ReadsFrom]], (_W_, _R_) is in _execution_.[[SynchronizesWith]] if all the following are true.</p>
<ul>
<li>_R_.[[Order]] is `"SeqCst"`.</li>
<li>If _W_.[[Order]] is `"SeqCst"` and _R_ and _W_ have equal ranges.</li>
<li>If _W_.[[Order]] is `"Init"`, and for each event _V_ such that (_R_, _V_) is in _execution_.[[ReadsFrom]], _V_.[[Order]] is `"Init"`.</li>
<li>_W_.[[Order]] is `"SeqCst"` or `"Init"`.</li>
<li>If _W_.[[Order]] is `"SeqCst"`, then _R_ and _W_ have equal ranges.</li>
<li>If _W_.[[Order]] is `"Init"`, then for each event _V_ such that (_R_, _V_) is in _execution_.[[ReadsFrom]], _V_.[[Order]] is `"Init"`.</li>
</ul>
</li>
<li>For each pair (_E_, _D_) in _execution_.[[HostSynchronizesWith]], (_E_, _D_) is in _execution_.[[SynchronizesWith]].</li>
Expand Down

0 comments on commit f812bc5

Please sign in to comment.