about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2025-06-15Merge from rustcRalf Jung-37/+0
2025-06-15Implement `simd_round_ties_even` for miri, cg_clif and cg_gccsayantn-0/+8
2025-06-13Unimplement unsized_localsmejrs-37/+0
2025-06-11Merge pull request #4384 from RalfJung/diag-no-repeatOli Scherer-861/+702
2025-06-10Merge pull request #4382 from RalfJung/dupRalf Jung-2/+3
2025-06-10float tests: test non-determinism for more operationsRalf Jung-22/+25
2025-06-10Merge pull request #4394 from RalfJung/smallvecRalf Jung-0/+99
2025-06-10add SmallVec testRalf Jung-0/+99
2025-06-10fmtThe Miri Cronjob Bot-1/+0
2025-06-10Merge from rustcThe Miri Cronjob Bot-3/+112
2025-06-09Auto merge of #138062 - LorrensP-2158466:miri-enable-float-nondet, r=RalfJungbors-3/+112
2025-06-09Merge pull request #4376 from yoctocell/tb-interior-mut-flagRalf Jung-0/+40
2025-06-09Add `-Zmiri-tree-borrows-no-precise-interior-mut` flagXinglu Chen-0/+40
2025-06-09Merge from rustcThe Miri Cronjob Bot-2/+2
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-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-376/+222
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-576/+573
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-06Merge pull request #4378 from RalfJung/flockRalf Jung-3/+30
2025-06-06use File::lock to implement flock, and add a test for File::lockRalf Jung-3/+30
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-05Rollup merge of #140638 - RalfJung:unsafe-pinned-shared-aliased, r=workingjub...Matthias Krüger-0/+131
2025-06-04Introduce the `mismatched_lifetime_syntaxes` lintJake Goulding-2/+2
2025-06-03Rollup merge of #141698 - oli-obk:ctfe-err-flip, r=RalfJungMatthias Krüger-9/+9
2025-06-03Add `iter` macroOli Scherer-0/+22
2025-06-03Enable Float non-determinism in miri. Update and add tests and changeLorrensP-2158466-3/+110
2025-06-03Remove uses of `stdarch_x86_avx512`sayantn-6/+0
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-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-05-31Merge from rustcThe Miri Cronjob Bot-4/+5
2025-05-30Rollup merge of #140825 - rs-sac:ext, r=workingjubileeJubilee-1/+1
2025-05-30Merge pull request #4314 from yoctocell/fine-grained-trackingRalf Jung-3/+102
2025-05-30Track permissions on the byte-levelXinglu Chen-3/+102
2025-05-30Change diagnostic wordingtiif-10/+5
2025-05-28atomic_load intrinsic: use const generic parameter for orderingRalf Jung-3/+4
2025-05-28Merge pull request #4344 from CraftSpider/windows-file-cloneOli Scherer-1/+1
2025-05-28add Miri testsRalf Jung-0/+131
2025-05-28Merge from rustcThe Miri Cronjob Bot-4/+1
2025-05-27Auto merge of #129658 - saethlin:spare-a-crumb, r=jhprattbors-4/+1
2025-05-27Update tests with Range parameter to `BTreeMap::extract_if` etc.Sidney Cammeresi-1/+1
2025-05-27Merge pull request #4212 from tiif/setflRalf Jung-0/+139
2025-05-27Support F_GETFL and F_SETFL for fcntltiif-0/+139