about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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-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-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
2025-07-27various minor adjustmentsRalf Jung-79/+49
2025-07-27Add support for building and linking against genmcPatrick-6-42/+1160
2025-07-27Merge pull request #4497 from RalfJung/check-shimRalf Jung-793/+897
2025-07-27introduce a macro for shim signature checkingRalf Jung-795/+900
2025-07-27call_function helper: dont ICE on return type mismatchesRalf Jung-2/+54
2025-07-26CI: run apt update before installing anythingRalf Jung-0/+4
2025-07-25Merge pull request #4489 from Stypox/misc-tracing-fixesRalf Jung-6/+11
2025-07-25Merge pull request #4492 from rust-lang/rustup-2025-07-25Ralf Jung-67/+11
2025-07-25fix target jsonRalf Jung-1/+1
2025-07-25Fix double "fatal error: " in messageStypox-1/+1
2025-07-25Fix missing $ in enter_trace_span!Stypox-1/+1
2025-07-25Use i64 for tracing chrome "id"Stypox-4/+9
2025-07-25Fix cronjob Zulip messageJakub Beránek-1/+1
2025-07-25fmtThe Miri Cronjob Bot-7/+2
2025-07-25Merge ref 'b56aaec52bc0' from rust-lang/rustThe Miri Cronjob Bot-58/+7
2025-07-25Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-07-24make the missing-MIR message more clearRalf Jung-2/+2