Skip to content

Add support to new atomic instrinsics. #1344

Closed
#1487
Closed
Add support to new atomic instrinsics.#1344
#1487
Assignees
adpaco

Description

@celinval
celinval
opened on Jul 6, 2022

Requested feature: RustC is in the process of lifting the CAS failure ordering and they have already added new intrinsics for that.
Link to relevant documentation (Rust reference, Nomicon, RFC): rust-lang/rust#97423 and rust-lang/rust#98383

Activity

  1. celinval
    assigned
    adpaco
    on Jul 6, 2022
  2. adpaco
    added this to Kani v0.8on Aug 9, 2022
  3. adpaco
    moved this to In Progress in Kani v0.8on Aug 9, 2022
  4. adpaco
    added this to Kani v0.9on Aug 9, 2022
  5. adpaco
    moved this to In Progress in Kani v0.9on Aug 9, 2022
  6. adpaco
    moved this from In Progress to Under Review in Kani v0.9on Aug 10, 2022
  7. adpaco
    closed this as completedin #1487on Aug 11, 2022
  8. Repository owner moved this from Under Review to Done in Kani v0.9on Aug 11, 2022
  9. Repository owner moved this from In Progress to Done in Kani v0.8on Aug 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions