about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-07-26fix protectors so that all reads actually commuteNeven Villani-26/+26
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-52/+54
2023-07-26fmtThe Miri Conjob Bot-1/+1
2023-07-25Auto merge of #114011 - RalfJung:place-projection, r=oli-obkbors-1/+4
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-1/+4
2023-07-23Merge from rustcRalf Jung-5/+4
2023-07-22Merge from rustcThe Miri Conjob Bot-4/+5
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-5/+4
2023-07-21Auto merge of #2985 - RalfJung:retag-fields, r=saethlinbors-30/+57
2023-07-21ask people to reach out if we declare too much UBRalf Jung-2/+9
2023-07-21SB: track whether a retag occurred nested inside a fieldRalf Jung-7/+7
2023-07-21make full field retagging the defaultRalf Jung-24/+44
2023-07-21add `naive_layout_of` queryMoulins-4/+5
2023-07-20Merge from rustcThe Miri Conjob Bot-0/+1
2023-07-18moved note as unspanned note, moved note to the bottom of the msgnxya-1/+1
2023-07-18fix miri test with links to query documentationnxya-0/+1
2023-07-18ignore test on appleRalf Jung-0/+1
2023-07-16miri: fail when calling a function that requires an unavailable target featureEduardo Sánchez Muñoz-0/+38
2023-07-14remove compile-flags that are no longer neededRalf Jung-37/+10
2023-07-14work around custom_mir spanRalf Jung-13/+6
2023-07-13Rename cast_ref_to_mut lint to invalid_reference_castingUrgau-2/+2
2023-07-12Auto merge of #112945 - compiler-errors:tighten-span-of-adjustment-error, r=o...bors-15/+8
2023-07-11fix handling of alignment for dyn-sized placesRalf Jung-5/+6
2023-07-11miri: protect Move() function arguments during the callRalf Jung-22/+348
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-15/+8
2023-07-10Merge from rustcRalf Jung-0/+43
2023-07-09test and fix return place alias restrictionsRalf Jung-0/+118
2023-07-09Auto merge of #113488 - RalfJung:miri, r=RalfJungbors-14/+118
2023-07-08Merge from rustcThe Miri Conjob Bot-1/+1
2023-07-07Rollup merge of #113441 - RalfJung:assign-no-overlap, r=oli-obkMichael Goulet-0/+43
2023-07-07miri: check that assignments do not self-overlapRalf Jung-0/+43
2023-07-07Auto merge of #2969 - oli-obk:run-dep, r=RalfJungbors-7/+7
2023-07-07MIRIFLAGS are already passed in the `./miri` wrapperOli Scherer-5/+0
2023-07-07Remove a now-useless flagOli Scherer-1/+0
2023-07-07Silence all the boilerplate around `./miri run` and `./miri run-dep`Oli Scherer-1/+0
2023-07-07Use new std::simd fn in miri testsJubilee Young-1/+1
2023-07-06Stop parsing ui_test annotations in `run-dep` modeOli Scherer-7/+14
2023-07-06Ignore test on appleOli Scherer-0/+1
2023-07-05C "memcpy" shim: ensure the pointers are validRalf Jung-0/+102
2023-07-04Restore test filtering by substring.Oli Scherer-1/+2
2023-07-03vec tets: ensure pointer is still writeableRalf Jung-6/+6
2023-06-29Use a valid `target` directory in miri ui testsOli Scherer-0/+1
2023-06-28Auto merge of #2936 - Vanille-N:unique, r=RalfJungbors-10/+419
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-10/+419
2023-06-27Make `--quiet` actually do somethingOli Scherer-3/+10
2023-06-26Update ui test crateOli Scherer-69/+33
2023-06-20Auto merge of #2520 - saethlin:mmap-shim, r=RalfJungbors-0/+260
2023-06-20Improve organizationBen Kimock-0/+0
2023-06-20Make munmap throw unsup errors instead of trying to workBen Kimock-21/+40
2023-06-20mmap/munmap/mremamp shimsBen Kimock-0/+241
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 04:35:41 +0000