about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2025-08-20make `prefetch` intrinsics safeFolkert de Vries-14/+14
2025-08-19add a fallback implementation for the `prefetch_*` intrinsicsFolkert de Vries-0/+23
2025-08-19Rollup merge of #145585 - RalfJung:miri-inplace-arg-checks, r=compiler-errors许杰友 Jieyou Xu (Joe)-37/+129
2025-08-19miri: detect passing the same local twice as an in-place argumentRalf Jung-0/+92
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-63/+98
2025-08-08Auto merge of #145126 - tgross35:rollup-6w87usd, r=tgross35bors-1/+1
2025-08-08Rollup merge of #144579 - joshtriplett:mbe-attr, r=petrochenkovTrevor Gross-1/+1
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-110/+44
2025-08-07Rollup merge of #144903 - Kivooeo:panic_handler-is-not-begin, r=m-ou-seTrevor Gross-23/+23
2025-08-07Rollup merge of #143906 - LorrensP-2158466:miri-float-nondet-foreign-items, r...Stuart Cook-44/+110
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-30const-eval: full support for pointer fragmentsRalf Jung-63/+98
2025-07-28lookup_link_section: support arrays of function pointersRalf Jung-8/+7
2025-07-28revert accidental changeRalf Jung-0/+4
2025-07-28Merge commit 'abd9cba5acbcc35fb4cc59ce25580fa1624b5571'Ralf Jung-21/+17
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-21/+17
2025-07-27Merge pull request #4498 from RalfJung/genmc-buildRalf Jung-0/+27
2025-07-27various minor adjustmentsRalf Jung-2/+1
2025-07-27Add support for building and linking against genmcPatrick-6-0/+28
2025-07-27call_function helper: dont ICE on return type mismatchesRalf Jung-0/+51
2025-07-25fix target jsonRalf Jung-1/+1
2025-07-25Merge ref 'b56aaec52bc0' from rust-lang/rustThe Miri Cronjob Bot-13/+7
2025-07-23Remove const deduplication from the interpreter.Camille GILLOT-13/+7
2025-07-22Merge from rustcThe Miri Cronjob Bot-11/+21
2025-07-21Implement nondet behaviour and change/add tests.LorrensP-2158466-44/+110
2025-07-22Rollup merge of #144080 - jieyouxu:realign, r=BoxyUwU许杰友 Jieyou Xu (Joe)-3/+7
2025-07-21Merge pull request #4481 from RalfJung/read-write-truncateOli Scherer-112/+273
2025-07-21Auto merge of #144238 - jhpratt:rollup-xb8aida, r=jhprattbors-7/+679
2025-07-21Merge from rustcThe Miri Cronjob Bot-4/+29
2025-07-20Rollup merge of #144229 - RalfJung:miri-sync, r=RalfJungJacob Pratt-7/+679
2025-07-20Update Miri TestsScott McMurray-8/+14
2025-07-20Rollup merge of #144190 - scottmcm:spanned-errors-in-mir-validation, r=RalfJungGuillaume Gomez-4/+10
2025-07-20Rollup merge of #144169 - RalfJung:type-id-fix, r=oli-obkMatthias Krüger-0/+19
2025-07-20Merge from rustcThe Miri Cronjob Bot-34/+155
2025-07-19Give a message with a span on validation errorScott McMurray-4/+10
2025-07-19non-deterministically truncate reads/writesRalf Jung-112/+269
2025-07-19don't halt execution when we write to a read-only fileRalf Jung-0/+4
2025-07-19move and update test dependenciesRalf Jung-1/+675
2025-07-19bump ui_testRalf Jung-5/+3
2025-07-19Auto merge of #144166 - matthiaskrgr:rollup-wccepuo, r=matthiaskrgrbors-3/+3
2025-07-19interpret: fix TypeId pointers being considered data pointersRalf Jung-0/+19