data_race: make the release/acquire API more clear - Githubissues

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.17k stars 320 forks source link

data_race: make the release/acquire API more clear #3495

Closed RalfJung closed 2 months ago

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit bf513b9103c2ae08687b8d65e71fa56854434b0e has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit bf513b9103c2ae08687b8d65e71fa56854434b0e with merge e439354b6c30f04707196587e8f4443292cb019a...

bors commented 2 months ago

:broken_heart: Test failed - checks-actions

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit e5d9fdb8d0e6c9bdba83cf3ef08521289a134e63 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit e5d9fdb8d0e6c9bdba83cf3ef08521289a134e63 with merge 87866d1defa032a9df6cf1edd5b06367c1b4f70d...

bors commented 2 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 87866d1defa032a9df6cf1edd5b06367c1b4f70d to master...