about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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
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
2025-01-30More assertions, tests, and miri coverageMichael Goulet-0/+54
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-30Merge pull request #4140 from geetanshjuneja/derefRalf Jung-34/+39
2025-01-30use deref_pointer_as instead of deref_pointergeetanshjuneja-34/+39
2025-01-30fix clippy lint manual_repeat_nRalf Jung-3/+1
2025-01-30fmtThe Miri Cronjob Bot-12/+13