about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2025-06-29Rollup merge of #142078 - sayantn:more-intrinsics, r=workingjubileeGuillaume Gomez-0/+8
2025-06-18Rollup merge of #142507 - folkertdev:fn-align-align-attribute, r=jdonszelmannTrevor Gross-5/+5
2025-06-18add `#[align]` attributeFolkert de Vries-5/+5
2025-06-18Auto merge of #141061 - dpaoliello:shimasfn, r=bjorn3bors-2/+2
2025-06-16Change __rust_no_alloc_shim_is_unstable to be a functionDaniel Paoliello-2/+2
2025-06-16Auto merge of #142574 - Kobzol:rollup-ldj386u, r=Kobzolbors-1/+0
2025-06-15Stabilize "file_lock" featureChristopher Berner-1/+0
2025-06-15Implement `simd_round_ties_even` for miri, cg_clif and cg_gccsayantn-0/+8
2025-06-11Merge pull request #4384 from RalfJung/diag-no-repeatOli Scherer-10/+10
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-08Merge from rustcThe Miri Cronjob Bot-6/+0
2025-06-07Auto merge of #141964 - sayantn:update-stdarch, r=Amanieubors-6/+0
2025-06-07make better use of label for data-race and some other errorsRalf Jung-10/+10
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/+16
2025-06-04Introduce the `mismatched_lifetime_syntaxes` lintJake Goulding-2/+2
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-05-31Merge from rustcThe Miri Cronjob Bot-1/+1
2025-05-30Merge pull request #4314 from yoctocell/fine-grained-trackingRalf Jung-3/+43
2025-05-30Track permissions on the byte-levelXinglu Chen-3/+43
2025-05-28Merge pull request #4344 from CraftSpider/windows-file-cloneOli Scherer-1/+1
2025-05-28add Miri testsRalf Jung-0/+16
2025-05-27Update tests with Range parameter to `BTreeMap::extract_if` etc.Sidney Cammeresi-1/+1
2025-05-26Auto merge of #141406 - RalfJung:less-force-allocate, r=oli-obkbors-2/+2
2025-05-24rename internal panicking::try to catch_unwindRalf Jung-12/+12
2025-05-22interpret: do not force_allocate all return placesRalf Jung-2/+2
2025-05-22Implement file cloning on WindowsRune Tynan-1/+1
2025-05-22Implement file read/write on WindowsRune Tynan-5/+5
2025-05-21test direct usage of io::{stdout,stderr,stdin}Ralf Jung-3/+7
2025-05-19run tests on mips-unknown-linux-gnuRalf Jung-18/+22
2025-05-18Remove uses of `#[feature(avx512_target_feature)]`sayantn-4/+1
2025-05-12Merge from rustcThe Miri Cronjob Bot-11/+15
2025-05-10test intrinsic fallback bodies with MiriRalf Jung-11/+15
2025-05-10Merge from rustcThe Miri Cronjob Bot-0/+1
2025-05-08add signed integers to unnecessary_lints to ensure feature parity with clippybendn-0/+1
2025-05-08Merge pull request #4311 from est31/edition_2024Ralf Jung-4/+4
2025-05-08Update miri, cargo-miri and miri-cript to edition 2024est31-4/+4
2025-05-08remove commented-out test leftoverRalf Jung-1/+0