Add a command to make rustbot kill all child processes #2512
Labels
C-enhancement
Category: An issue proposing an enhancement or a PR with one.
Milestone
Comments
|
rustbot no more |
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
Sep 22, 2022
Strengthen C++20 SC accesses `@SabrinaJewson` noted in rust-lang#2301 that Miri could produce behaviours forbidden under C++20 even without SC fences. Due to the added coherence-ordered before relationship which is created from read from and read before, plus the fact that coherence-ordered before between SC operations must be consistent with the Global Total Order S, in C++20 if there's an SC load that reads from any store, then a later SC load cannot read before that store. This PR adds this restriction
celinval
added a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
Update Kani to use CBMC 5.85.0 Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This will abort the current build.
The text was updated successfully, but these errors were encountered: