Code

Strengthen C++20 SC accesses#2512

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/miri:masterfrom cbeuw:scfixcbeuw/miri:scfixCopy head branch name to clipboardAug 28, 2022

+98-29

Commits

Commits on Aug 27, 2022

• Improve SC comments

  cbeuw

  committed
  f4ba8b1

  Copy full SHA for f4ba8b1

• Remove useless store buffer search logging

  cbeuw

  committed
  01dffe0

  Copy full SHA for 01dffe0

• Add C++20 SC access test

  cbeuw

  committed
  a2467c9

  Copy full SHA for a2467c9

• Fix C++20 SC access unsoundness

  cbeuw

  committed
  0f9e009

  Copy full SHA for 0f9e009

• Supress clippy error

  cbeuw

  committed
  6dea99e

  Copy full SHA for 6dea99e

Commits on Aug 28, 2022

• Comment deviations from the paper

  cbeuw

  committed
  3e97d8e

  Copy full SHA for 3e97d8e