about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-02-20Rollup merge of #135296 - lukas-code:dyn-leak-check, r=compiler-errorsMatthias Krüger-0/+75
2025-02-18Rollup merge of #136750 - kornelski:ub-bug, r=saethlinUrgau-0/+2
2025-02-16Rollup merge of #136986 - ehuss:library-unsafe-fun, r=NoratriebMatthias Krüger-4/+4
2025-02-16Make ub_check message clear that it's not an assertKornel-0/+2
2025-02-15Auto merge of #136324 - GrigorenkoPV:erf, r=tgross35bors-0/+15
2025-02-14add x86-sse2 (32bit) ABI that requires SSE2 target featureRalf Jung-0/+5
2025-02-14miri: shims for `erf` & friendsPavel Grigorenko-0/+15
2025-02-14Bless miri tests after applying unsafe_op_in_unsafe_fnEric Huss-4/+4
2025-02-12Auto merge of #135994 - 1c3t3a:rename-unsafe-ptr, r=oli-obkbors-3/+3
2025-02-12Change swap_nonoverlapping from lang to library UBBen Kimock-0/+46
2025-02-10Auto merge of #135701 - calebzulawski:sync-from-portable-simd-2025-01-18, r=w...bors-21/+0
2025-02-10Convert more missed placesBastian Kersting-3/+3
2025-02-07Rollup merge of #135945 - estebank:useless-parens, r=compiler-errorsMatthias Krüger-15/+15
2025-02-06remove use of `feature(trait_upcasting)` from miriWaffle Lapkin-9/+2
2025-02-06Remove some unnecessary parens in `assert!` conditionsEsteban Küber-15/+15
2025-02-06Auto merge of #136471 - safinaskar:parallel, r=SparrowLiibors-3/+2
2025-02-05Rollup merge of #128045 - pnkfelix:rustc-contracts, r=oli-obkLeón Orell Valerian Liehr-0/+5
2025-02-04Auto merge of #135760 - scottmcm:disjoint-bitor, r=WaffleLapkinbors-0/+20
2025-02-03Contracts core intrinsics.Felix S. Klock II-0/+5
2025-02-03Rollup merge of #136438 - RalfJung:offset_from_ub_errors, r=oli-obk许杰友 Jieyou Xu (Joe)-3/+45
2025-02-03tree-wide: parallel: Fully removed all `Lrc`, replaced with `Arc`Askar Safin-3/+2
2025-02-02Rollup merge of #136452 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-545/+1347
2025-02-02Merge pull request #4142 from joboet/apple-futexRalf Jung-53/+626
2025-02-02shim Apple's futex primitivesjoboet-53/+626
2025-02-02Merge pull request #4172 from RalfJung/miri_get_backtraceRalf Jung-51/+14
2025-02-02files: make write take callback to store result, rather than writing to 'dest...Ralf Jung-69/+72
2025-02-02files: make read take callback to store result, rather than writing to 'dest'...Ralf Jung-69/+86
2025-02-02Some cleanups around EarlyDiagCtxtbjorn3-5/+3
2025-02-02fix use of deprecated rand APIRalf Jung-1/+1
2025-02-02Merge from rustcRalf Jung-4/+44
2025-02-02Preparing for merge from rustcRalf Jung-1/+1
2025-02-02miri_get_backtrace: stop supporting the v0 protocolRalf Jung-51/+14
2025-02-02miri: improve error when offset_from preconditions are violatedRalf Jung-3/+45
2025-02-01Test getrandom 0.3Eduardo Sánchez Muñoz-1/+35
2025-02-01Bump rand to 0.9 and getrandom to 0.3Eduardo Sánchez Muñoz-35/+99
2025-01-31PR feedbackScott McMurray-0/+20
2025-02-01fmtThe Miri Cronjob Bot-72/+93
2025-02-01Merge from rustcThe Miri Cronjob Bot-1/+55
2025-02-01Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-02-01Rollup merge of #136348 - RalfJung:miri-float-min-max, r=oli-obkMatthias Krüger-4/+44
2025-01-31interpret: adjust vtable validity check for higher-ranked typesLukas Markeffsky-0/+75
2025-01-31Auto merge of #134424 - 1c3t3a:null-checks, r=saethlinbors-1/+1
2025-01-31clarify apply_random_float_error logicRalf Jung-4/+12
2025-01-31Insert null checks for pointer dereferences when debug assertions are enabledBastian Kersting-1/+1
2025-01-31miri: make float min/max non-deterministicRalf Jung-4/+44
2025-01-31increase thread limit for many-seeds modeRalf Jung-2/+2
2025-01-31fmtThe Miri Cronjob Bot-2/+1
2025-01-31Merge from rustcThe Miri Cronjob Bot-1/+1
2025-01-31Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-01-31Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnrbors-0/+54