about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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-06Merge pull request #4181 from tiif/check_shim_variadicRalf Jung-101/+129
2025-02-06some more argument checking cleanupRalf Jung-70/+77
2025-02-06inline a once-used functionRalf Jung-29/+16
2025-02-06Throw ub error when invoking non-vararg shim with vararg importtiif-2/+36
2025-02-06Auto merge of #136471 - safinaskar:parallel, r=SparrowLiibors-3/+2
2025-02-06Merge pull request #4179 from rayslava/masterRalf Jung-1/+6
2025-02-06Merge from rustcThe Miri Cronjob Bot-0/+5
2025-02-06Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-02-06allow code to call geteuid()Slava Barinov-1/+6
2025-02-05Merge pull request #4178 from RalfJung/rustupRalf Jung-3/+23
2025-02-05bump default max parallelism up to 20Ralf Jung-2/+2
2025-02-05Merge from rustcRalf Jung-0/+20
2025-02-05Preparing for merge from rustcRalf Jung-1/+1
2025-02-05Merge pull request #4177 from psumbera/solaris-no-flockRalf Jung-77/+77
2025-02-05use cfg_matchRalf Jung-82/+77
2025-02-05Fix build on Solaris where is no flock().Petr Sumbera-3/+8
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-04intrinsics: unify rint, roundeven, nearbyint in a single round_ties_even intr...Ralf Jung-8/+8
2025-02-04update JSON target spec to declare softfloat ABIRalf Jung-0/+1
2025-02-04Merge from rustcThe Miri Cronjob Bot-3/+45
2025-02-04Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
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-03Merge from rustcThe Miri Cronjob Bot-5/+3
2025-02-03Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
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