about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-06-08Auto merge of #142008 - RalfJung:const-eval-error-here, r=oli-obkbors-2/+2
2025-06-08Merge from rustcThe Miri Cronjob Bot-6/+0
2025-06-08Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-06-08Use the in-tree `compiler-builtins`Trevor Gross-3/+42
2025-06-07intrinsics: use const generic to set atomic orderingRalf Jung-65/+88
2025-06-07Auto merge of #141964 - sayantn:update-stdarch, r=Amanieubors-6/+0
2025-06-07bless non-Linux testsRalf Jung-21/+19
2025-06-07make better use of label for data-race and some other errorsRalf Jung-388/+240
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-578/+581
2025-06-07const-eval error: always say in which item the error occurredRalf Jung-2/+2
2025-06-07test_dup: ensure the FDs remain in sync even after dup'ingRalf Jung-2/+3
2025-06-07fmtThe Miri Cronjob Bot-3/+10
2025-06-07Merge from rustcThe Miri Cronjob Bot-25/+31
2025-06-07Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-06-06Rollup merge of #142103 - scottmcm:fieldidx-in-interp, r=oli-obkGuillaume Gomez-24/+30
2025-06-06Merge pull request #4378 from RalfJung/flockRalf Jung-105/+50
2025-06-06use File::lock to implement flock, and add a test for File::lockRalf Jung-105/+50
2025-06-06Merge from rustcThe Miri Cronjob Bot-2/+133
2025-06-06Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-24/+30
2025-06-06Add new Tier-3 targets: `loongarch32-unknown-none*`WANG Rui-2/+3
2025-06-06Rollup merge of #142012 - oli-obk:no-optional-spans, r=fee1-deadMatthias Krüger-1/+1
2025-06-05Auto merge of #138677 - shepmaster:consistent-elided-lifetime-syntax, r=travi...bors-2/+2
2025-06-05change tests to use fixed constants to let them pass with miriLorrensP-2158466-1/+3
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-1/+1
2025-06-05Rollup merge of #140638 - RalfJung:unsafe-pinned-shared-aliased, r=workingjub...Matthias Krüger-0/+131
2025-06-05Merge from rustcThe Miri Cronjob Bot-4/+1
2025-06-05Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-06-04Introduce the `mismatched_lifetime_syntaxes` lintJake Goulding-2/+2
2025-06-04Merge pull request #4372 from nia-e/multiple-native-libsOli Scherer-57/+70
2025-06-04Rollup merge of #141871 - nia-e:fix-bitset, r=eholkMatthias Krüger-4/+1
2025-06-04Merge from rustcThe Miri Cronjob Bot-336/+385
2025-06-04Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-06-04index: add method for checking range on DenseBitSetNia Espera-4/+1
2025-06-03Rollup merge of #141698 - oli-obk:ctfe-err-flip, r=RalfJungMatthias Krüger-9/+9
2025-06-03Rollup merge of #141569 - workingjubilee:canonicalize-abi, r=bjorn3Matthias Krüger-327/+354
2025-06-03native-lib: allow multiple libraries and/or dirsNia Espera-57/+70
2025-06-03Add `iter` macroOli Scherer-0/+22
2025-06-03Enable Float non-determinism in miri. Update and add tests and changeLorrensP-2158466-62/+327
2025-06-03miri: sed to CanonAbiJubilee Young-327/+354
2025-06-03Remove uses of `stdarch_x86_avx512`sayantn-6/+0
2025-06-03Merge from rustcThe Miri Cronjob Bot-3/+26
2025-06-03Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-06-02Clarify why we are talking about a failed const eval at a random placeOli Scherer-3/+3
2025-06-02Use the informative error as the main const eval error messageOli Scherer-9/+9
2025-06-02Auto merge of #119899 - onur-ozkan:redesign-stage0-std, r=albertlarsan68,jiey...bors-3/+26
2025-06-01tweak comment and use a weaker fenceRalf Jung-1/+4
2025-06-01Make sure to sync on file-io.rs tokio testNoratrieb-0/+1
2025-06-01Fix tokio/file-io.rs test relying on `read`/`write` not being shortNoratrieb-3/+3
2025-06-01Merge from rustcThe Miri Cronjob Bot-61/+0