about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-07-22Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-12/+9
2023-07-21Auto merge of #2985 - RalfJung:retag-fields, r=saethlinbors-89/+140
2023-07-21ask people to reach out if we declare too much UBRalf Jung-22/+31
2023-07-21SB: track whether a retag occurred nested inside a fieldRalf Jung-37/+63
2023-07-21make full field retagging the defaultRalf Jung-34/+50
2023-07-21CTFE: move `target_{i, u}size_{min, max)` to `rustc_abi::TargetDataLayout`Moulins-5/+7
2023-07-21add `naive_layout_of` queryMoulins-4/+5
2023-07-20Merge from rustcThe Miri Conjob Bot-2/+4
2023-07-20Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-20Auto merge of #113622 - RickleAndMortimer:issue-113184-fix, r=oli-obkbors-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-18support for mips32r6 as a target_arch valuechenx97-2/+3
2023-07-18support for mips64r6 as a target_arch valuechenx97-1/+1
2023-07-18ignore test on appleRalf Jung-0/+1
2023-07-18fix clippy warningsRalf Jung-7/+7
2023-07-18make './miri toolchain' work even if we cannot write to rustup dirRalf Jung-1/+3
2023-07-18Merge from rustcThe Miri Conjob Bot-0/+38
2023-07-18Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-16link to a definition of soundnessRalf Jung-1/+2
2023-07-16clarify that we do not prove soundnessRalf Jung-0/+6
2023-07-16Auto merge of #2981 - RalfJung:style, r=RalfJungbors-2/+7
2023-07-16style checks: use latest rustc for cron jobRalf Jung-2/+7
2023-07-16Merge from rustcThe Miri Conjob Bot-2/+2
2023-07-16Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-16miri: fail when calling a function that requires an unavailable target featureEduardo Sánchez Muñoz-0/+38
2023-07-14Rollup merge of #113699 - RalfJung:miri, r=RalfJungMatthias Krüger-64/+33
2023-07-14remove compile-flags that are no longer neededRalf Jung-37/+10
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
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-13Merge from rustcThe Miri Conjob Bot-15/+8
2023-07-13Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-12fix tag GC deleting protected tagsRalf Jung-4/+7
2023-07-12fmtRalf Jung-9/+9
2023-07-12Merge from rustcRalf Jung-103/+443
2023-07-12Preparing for merge from rustcRalf Jung-1/+1
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 tree borrows: skip retag_reference early if there is no NewPermissionRalf Jung-13/+15
2023-07-11miri: protect Move() function arguments during the callRalf Jung-85/+422
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-15/+8
2023-07-10Merge from rustcRalf Jung-0/+43
2023-07-10Preparing for merge from rustcRalf Jung-1/+1
2023-07-09test and fix return place alias restrictionsRalf Jung-2/+124
2023-07-09Auto merge of #113488 - RalfJung:miri, r=RalfJungbors-98/+251
2023-07-08Merge from rustcThe Miri Conjob Bot-1/+1
2023-07-08Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-07-07Rollup merge of #113441 - RalfJung:assign-no-overlap, r=oli-obkMichael Goulet-0/+43
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 07:59:22 +0000