about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-08-20Rollup merge of #145626 - folkertdev:prefetch-fallback, r=AmanieuJacob Pratt-0/+23
2025-08-20make `prefetch` intrinsics safeFolkert de Vries-14/+14
2025-08-19Auto merge of #145600 - jieyouxu:rollup-jw0bpnt, r=jieyouxubors-1/+1
2025-08-19add a fallback implementation for the `prefetch_*` intrinsicsFolkert de Vries-0/+23
2025-08-19Rollup merge of #145429 - bjorn3:codegen_fn_attrs_improvements, r=jdonszelmann许杰友 Jieyou Xu (Joe)-1/+1
2025-08-19Rollup merge of #145585 - RalfJung:miri-inplace-arg-checks, r=compiler-errors许杰友 Jieyou Xu (Joe)-37/+129
2025-08-19Rollup merge of #145306 - Stypox:tracing-misc, r=RalfJung许杰友 Jieyou Xu (Joe)-0/+2
2025-08-19miri: detect passing the same local twice as an in-place argumentRalf Jung-0/+92
2025-08-18Add tracing to various miscellaneous functionsStypox-0/+2
2025-08-18interpret: fix in-place return place semantics when the return place expressi...Ralf Jung-37/+37
2025-08-17Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obkbors-69/+104
2025-08-15Merge link_name and export_namebjorn3-1/+1
2025-08-14Rollup merge of #145179 - joshtriplett:number, r=RalfJungGuillaume Gomez-2/+2
2025-08-14Rollup merge of #144727 - Stypox:add-tracing-to-resolve, r=RalfJungGuillaume Gomez-0/+2
2025-08-12Auto merge of #144678 - jdonszelmann:no-mangle-extern, r=bjorn3bors-2/+2
2025-08-12make no_mangle explicit on foreign itemsJana Dönszelmann-2/+2
2025-08-11Turn _span into _trace as trace span nameStypox-12/+12
2025-08-11Add tracing to resolve-related functionsStypox-0/+2
2025-08-09Avoid abbreviating "numerator" as "numer", to allow catching typo "numer" els...Josh Triplett-2/+2
2025-08-08Auto merge of #145126 - tgross35:rollup-6w87usd, r=tgross35bors-17/+12
2025-08-08Rollup merge of #144579 - joshtriplett:mbe-attr, r=petrochenkovTrevor Gross-1/+1
2025-08-08Rollup merge of #144192 - RalfJung:atomicrmw-ptr, r=nikicTrevor Gross-16/+11
2025-08-08mbe: In error messages, don't assume attributes are always proc macrosJosh Triplett-1/+1
2025-08-08Revert "Rollup merge of #143906 - LorrensP-2158466:miri-float-nondet-foreign-...Jakub Beránek-513/+312
2025-08-07Rollup merge of #144903 - Kivooeo:panic_handler-is-not-begin, r=m-ou-seTrevor Gross-23/+23
2025-08-07Rollup merge of #144682 - nxsaken:strict_overflow_ops, r=Mark-SimulacrumStuart Cook-1/+1
2025-08-07Rollup merge of #143906 - LorrensP-2158466:miri-float-nondet-foreign-items, r...Stuart Cook-312/+513
2025-08-06Print thread ID in panic message if thread name is unknownTrevor Gross-57/+63
2025-08-06Add normalization for thread IDs in panic messagesTrevor Gross-1/+2
2025-08-04remove begin prefixKivooeo-23/+23
2025-08-04Rollup merge of #144853 - Kivooeo:rust_-cleanup, r=Mark-SimulacrumStuart Cook-11/+11
2025-08-04Rollup merge of #144706 - zachs18:fix-144661, r=RalfJungStuart Cook-25/+0
2025-08-03remove rust_ prefixesKivooeo-11/+11
2025-07-31Allow `dangling_pointers_from_locals` lint in testsUrgau-0/+3
2025-07-31Do not give function allocations alignment in consteval or miri.Zachary S-25/+0
2025-07-31Rollup merge of #144726 - jdonszelmann:move-attr-data-structures, r=lcnrJana Dönszelmann-2/+1
2025-07-31Make Miri's enter_trace_span! call const_eval'sStypox-22/+5
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-2/+1
2025-07-31Uniform enter_trace_span! and add documentationStypox-16/+2
2025-07-30Stabilize strict_overflow_opsNurzhan Sakén-1/+1
2025-07-30const-eval: full support for pointer fragmentsRalf Jung-69/+104
2025-07-28Merge pull request #4504 from RalfJung/link-section-arraysRalf Jung-10/+22
2025-07-28lookup_link_section: support arrays of function pointersRalf Jung-10/+22
2025-07-28Reduce required cc crate version.Patrick-6-4/+6
2025-07-28revert accidental changeRalf Jung-1/+5
2025-07-28Merge commit 'abd9cba5acbcc35fb4cc59ce25580fa1624b5571'Ralf Jung-22/+19
2025-07-28prepare for syncRalf Jung-1/+1
2025-07-27centralize clockid_t interpretationRalf Jung-114/+79
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-22/+19
2025-07-27Merge pull request #4498 from RalfJung/genmc-buildRalf Jung-42/+1130