about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2025-09-13Rollup merge of #145471 - rs-sac:extr, r=the8472Jacob Pratt-1/+0
2025-09-10Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,tr...Matthias Krüger-0/+14
2025-09-09allow `#[rustc_align_static(N)]` on `static`sFolkert de Vries-0/+14
2025-09-06Change stdlib float tests to account for miri nondet floats.LorrensP-2158466-4/+3
2025-09-06Implement nondet behaviour and change/add tests.LorrensP-2158466-44/+110
2025-09-04Rollup merge of #145690 - sayantn:integer-funnel-shift, r=tgross35Jacob Pratt-1/+7
2025-09-03fix applying an error to infinitiesRalf Jung-0/+4
2025-09-03Add `funnel_sh{l,r}` functions and intrinsicssayantn-1/+7
2025-09-03fix mangitude of applied float errorRalf Jung-4/+50
2025-09-02account for aarch64 windows oversleepingRalf Jung-1/+2
2025-09-02add a flag to always apply the maximum float errorRalf Jung-0/+23
2025-08-30Merge ref 'e004014d1bf4' from rust-lang/rustThe Miri Cronjob Bot-1/+0
2025-08-29Rollup merge of #145467 - Kivooeo:stabilize-strict_provenance_atomic_ptr, r=s...Trevor Gross-1/+0
2025-08-29unix read/write: fix zero-size handlingRalf Jung-1/+3
2025-08-27Stabilize BTree{Map,Set}::extract_ifSidney Cammeresi-1/+0
2025-08-25Merge ref 'a1dbb443527b' from rust-lang/rustThe Miri Cronjob Bot-0/+3
2025-08-24Allow `integer_to_ptr_transmutes` in testsUrgau-0/+3
2025-08-23Merge pull request #4540 from RalfJung/tb-refactorsRalf Jung-4/+6
2025-08-23tree borrows: refactor new-permission logicRalf Jung-4/+6
2025-08-22add some ZST reborrow testsRalf Jung-1/+21
2025-08-21Auto merge of #145647 - RalfJung:miri, r=RalfJungbors-0/+39
2025-08-21Merge ref '125ff8a788c5' from rust-lang/rustThe Miri Cronjob Bot-0/+23
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-19Support weak definitionsbjorn3-0/+39
2025-08-17Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obkbors-55/+1
2025-08-15stabilize strict provenance atomic ptrKivooeo-1/+0
2025-08-08Revert "Rollup merge of #143906 - LorrensP-2158466:miri-float-nondet-foreign-...Jakub Beránek-110/+44
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-17/+17
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-55/+1
2025-07-28lookup_link_section: support arrays of function pointersRalf Jung-8/+7
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-3/+33
2025-07-20Update Miri TestsScott McMurray-8/+14
2025-07-19non-deterministically truncate reads/writesRalf Jung-3/+29
2025-07-19don't halt execution when we write to a read-only fileRalf Jung-0/+4
2025-07-19interpret: fix TypeId pointers being considered data pointersRalf Jung-0/+19
2025-07-19Mitigate `#[align]` name resolution ambiguity regression with a renameJieyou Xu-3/+7
2025-07-16minor tweaks and commentsRalf Jung-2/+5
2025-07-15add test for global constructorsIbraheem Ahmed-0/+43
2025-07-15Merge pull request #4469 from Patrick-6/add-spinloop-hintsRalf Jung-15/+31
2025-07-15Make spin function naming more consistentPatrick-6-17/+17
2025-07-15Add std::hint::spin_loop()Patrick-6-6/+22
2025-07-11Update miri for change to random APIJosh Triplett-1/+1