about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-07-20fix handling of base address for TypeId allocationsRalf Jung-27/+37
2025-07-20Update Miri TestsScott McMurray-8/+14
2025-07-20Rollup merge of #144190 - scottmcm:spanned-errors-in-mir-validation, r=RalfJungGuillaume Gomez-4/+10
2025-07-20Rollup merge of #144169 - RalfJung:type-id-fix, r=oli-obkMatthias Krüger-4/+23
2025-07-20Merge from rustcThe Miri Cronjob Bot-34/+155
2025-07-20Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-19Give a message with a span on validation errorScott McMurray-4/+10
2025-07-19non-deterministically truncate reads/writesRalf Jung-122/+312
2025-07-19Merge pull request #4482 from RalfJung/depsRalf Jung-538/+1160
2025-07-19don't halt execution when we write to a read-only fileRalf Jung-1/+14
2025-07-19move and update test dependenciesRalf Jung-76/+169
2025-07-19Move float non determinism helpers to math.rsLorrensP-2158466-164/+145
2025-07-19ditch which dependencyRalf Jung-30/+3
2025-07-19bump cargo-metadataRalf Jung-5/+371
2025-07-19bump ui_testRalf Jung-10/+9
2025-07-19bump ipc-channelRalf Jung-40/+8
2025-07-19bump colored depRalf Jung-3/+12
2025-07-19cargo updateRalf Jung-384/+598
2025-07-19Auto merge of #144166 - matthiaskrgr:rollup-wccepuo, r=matthiaskrgrbors-3/+3
2025-07-19add -Zmiri-no-extra-rounding-error to specifically disable just that part of ...Ralf Jung-6/+18
2025-07-19interpret: fix TypeId pointers being considered data pointersRalf Jung-4/+23
2025-07-19Rollup merge of #144083 - RalfJung:miri-sleep, r=oli-obkMatthias Krüger-3/+3
2025-07-19Merge from rustcThe Miri Cronjob Bot-2/+2
2025-07-19Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-19Mitigate `#[align]` name resolution ambiguity regression with a renameJieyou Xu-3/+7
2025-07-18Rollup merge of #142673 - oli-obk:uninit-read-mem, r=RalfJungMatthias Krüger-31/+152
2025-07-18move page protection logic inside native_libRalf Jung-93/+84
2025-07-18RA config: disable default features for faster build script buildRalf Jung-0/+2
2025-07-18make native-lib support compile-time-optional, and centralize cfg usageRalf Jung-37/+52
2025-07-18Show the memory of uninit readsOli Scherer-77/+82
2025-07-18Merge from rustcThe Miri Cronjob Bot-21/+51
2025-07-18Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-18Rollup merge of #143293 - folkertdev:naked-function-kcfi, r=compiler-errorsMatthias Krüger-2/+2
2025-07-17miri sleep tests: increase slackRalf Jung-3/+3
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-29/+145
2025-07-17Merge pull request #4472 from RalfJung/triagebotOli Scherer-13/+18
2025-07-17tweak PR process descriptionRalf Jung-4/+8
2025-07-17allow using different cargo binaryNia Espera-6/+13
2025-07-17Rollup merge of #143955 - Stypox:tracing-frame-filter, r=RalfJungMatthias Krüger-21/+51
2025-07-17Merge from rustcThe Miri Cronjob Bot-1/+54
2025-07-17Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-16Auto merge of #144019 - RalfJung:miri-sync, r=RalfJungbors-590/+1149
2025-07-16use `codegen_instance_attrs` where an instance is (easily) availableFolkert de Vries-2/+2
2025-07-16set S-waiting-on labels on new PRsRalf Jung-0/+6
2025-07-16triagebot: tweak welcome messageRalf Jung-9/+4
2025-07-16Rollup merge of #143968 - Stypox:tracing-FnAbiOf, r=RalfJungSamuel Tardieu-1/+1
2025-07-16Rollup merge of #143692 - RalfJung:miri-oob, r=oli-obkSamuel Tardieu-0/+53
2025-07-16triagebot welcome message for new usersRalf Jung-1/+12
2025-07-16Merge pull request #4459 from ibraheemdev/ibraheem/global-ctorRalf Jung-30/+216
2025-07-16minor tweaks and commentsRalf Jung-25/+35