about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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
2025-01-30Merge from rustcThe Miri Cronjob Bot-51/+31
2025-01-30Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-01-30Auto merge of #136035 - SpecificProtagonist:miri-zeroed-alloc, r=oli-obkbors-49/+29
2025-01-29Merge pull request #4159 from YohDeadfall/write-st-fstype-on-solarisRalf Jung-19/+19
2025-01-30Set the st_fstype filed on SolarisYoh Deadfall-19/+19
2025-01-29Merge pull request #4162 from rust-lang/rustup-2025-01-29Ralf Jung-6/+44
2025-01-29Merge pull request #4122 from tiif/fnabiRalf Jung-53/+184
2025-01-29make struct-variant matches less future-proof, and other clippy fixesRalf Jung-5/+8
2025-01-30Check fixed arg number for variadic function.tiif-53/+184
2025-01-29Merge from rustcThe Miri Cronjob Bot-0/+35
2025-01-29Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-01-29Rollup merge of #136147 - RalfJung:required-target-features-check-not-add, r=...León Orell Valerian Liehr-2/+2
2025-01-28Merge pull request #4160 from YohDeadfall/check-os-helperRalf Jung-58/+28
2025-01-28Merge pull request #4161 from oli-obk/push-vnpvrkxznkloRalf Jung-3/+3
2025-01-28Bump ui testOli Scherer-3/+3
2025-01-28Added a helper to dedup target OS checksYoh Deadfall-58/+28
2025-01-28Rollup merge of #135748 - compiler-errors:len-2, r=RalfJung,oli-obkMatthias Krüger-0/+35
2025-01-28miri: optimize zeroed allocSpecificProtagonist-49/+29
2025-01-28ABI-required target features: warn when they are missing in base CPU (rather ...Ralf Jung-2/+2
2025-01-28linker messages are no longer warnings by defaultRalf Jung-3/+1
2025-01-28Preparing for merge from rustcRalf Jung-1/+1
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-0/+35
2025-01-27Bump ui_testOli Scherer-9/+13
2025-01-27Avoid a bool and use an Option of ZST insteadOli Scherer-13/+23
2025-01-26Merge pull request #4154 from RalfJung/linux-futexRalf Jung-3/+2
2025-01-26make linux-futex test less flakyRalf Jung-3/+2
2025-01-26Pre-intern name when searching module childrenMark Rousskov-1/+2
2025-01-26many-seeds: do not use more than 8 threadsRalf Jung-4/+3
2025-01-26many-seeds: in keep-going mode, print how many tests failedRalf Jung-2/+8
2025-01-26prevent weird macOS linker errors from breaking the buildRalf Jung-1/+3
2025-01-26Merge from rustcThe Miri Cronjob Bot-3/+5
2025-01-26Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-01-25Auto merge of #133154 - estebank:issue-133137, r=wesleywiserbors-3/+5
2025-01-25Merge from rustcThe Miri Cronjob Bot-2/+2
2025-01-25Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-01-24Rollup merge of #135976 - WaffleLapkin:tailcall-nodrop, r=oli-obkMatthias Krüger-2/+2