Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

document when atomic loads are guaranteed read-only #115577

Merged
merged 9 commits into from
Oct 17, 2023

Commits on Oct 15, 2023

  1. Configuration menu
    Copy the full SHA
    b5e67a0 View commit details
    Browse the repository at this point in the history
  2. add ARM and RISC-V values

    RalfJung committed Oct 15, 2023
    Configuration menu
    Copy the full SHA
    7453235 View commit details
    Browse the repository at this point in the history
  3. add general powerpc64le bound

    (some powerpc64le targets can guarantee more, but for now it doesn't seem worth separating by OS/vendor)
    RalfJung committed Oct 15, 2023
    Configuration menu
    Copy the full SHA
    07b8c10 View commit details
    Browse the repository at this point in the history
  4. define 'read-only memory'

    RalfJung committed Oct 15, 2023
    Configuration menu
    Copy the full SHA
    69b62ec View commit details
    Browse the repository at this point in the history
  5. wording

    RalfJung committed Oct 15, 2023
    Configuration menu
    Copy the full SHA
    275d5c8 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    9b8686d View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    9d8506d View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2023

  1. use target-arch based table

    RalfJung committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    6605116 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2023

  1. Configuration menu
    Copy the full SHA
    e494df4 View commit details
    Browse the repository at this point in the history