Repository navigation

Rollup of 4 pull requests - #134785

Closed

jieyouxu wants to merge 26 commits into

rust-lang:masterfrom

jieyouxu:rollup-fyefxuq

Closed

Rollup of 4 pull requests#134785
jieyouxu wants to merge 26 commits into
rust-lang:masterfrom
jieyouxu:rollup-fyefxuq

Commits on Dec 18, 2024
- add more tests for SC access/fence consistency
  RalfJung
  committed
  f9e9856
Commits on Dec 21, 2024
- Merge pull request #4090 from RalfJung/sc-test
  RalfJung
  authored
  7b29daf
- remove an unused helper method
  RalfJung
  committed
  9c87ec8
- Merge pull request #4103 from RalfJung/remove-unused
  RalfJung
  authored
  58ad698
Commits on Dec 22, 2024
Commits on Dec 23, 2024
- add -Zmiri-many-seeds flag to the driver itself
  RalfJung
  committed
  d80f319
- remove many-seeds mode from cargo-miri
  RalfJung
  committed
  0bd76e1
- remove --many-seeds from ./miri run
  RalfJung
  committed
  d04b972
- stop using process-wide state, now that we are running multiple interpreters in the same thread
  RalfJung
  committed
  0f49f0f
- many-seeds: add flag to keep going even after we found a failing seed
  RalfJung
  committed
  4116585
- use std::sync::Once instead of hand-rolling a bad version of it
  RalfJung
  committed
  fdfd064
- Merge pull request #4105 from RalfJung/many-seeds
  oli-obk
  authored
  cb73bb6
Commits on Dec 25, 2024
Commits on Dec 26, 2024