about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-07-02Auto merge of #142974 - cuviper:stage0-bump, r=Mark-Simulacrumbors-22/+2
2025-07-01Remove support for dyn*Michael Goulet-107/+0
2025-07-01Update `cfg(bootstrap)`Josh Stone-22/+2
2025-07-01Auto merge of #143013 - bjorn3:split_exported_symbols, r=oli-obkbors-4/+4
2025-06-30Rollup merge of #143140 - RalfJung:ptr-into-parts, r=oli-obkMatthias Krüger-9/+7
2025-06-30Auto merge of #143233 - dianqk:rollup-lcx3278, r=dianqkbors-44/+109
2025-06-30Rollup merge of #142514 - LorrensP-2158466:miri-float-nondet-pow, r=RalfJungdianqk-44/+109
2025-06-30Try increasing the repetition limitOli Scherer-1/+1
2025-06-29add float_nan test for powfRalf Jung-28/+54
2025-06-29make some powf and powi cases involving SNaN non-deterministicLorrensP-2158466-38/+77
2025-06-29Auto merge of #143137 - RalfJung:miri-sync, r=RalfJungbors-317/+1781
2025-06-29Rollup merge of #142078 - sayantn:more-intrinsics, r=workingjubileeGuillaume Gomez-0/+10
2025-06-29disable ptrace codepath since it doesn't build on many targetsRalf Jung-59/+29
2025-06-29fix miri build in bootstrapRalf Jung-0/+1
2025-06-29rename Pointer::from_addr_invalid to match strict provenance APIRalf Jung-1/+1
2025-06-29give Pointer::into_parts a more scary name and offer a safer alternativeRalf Jung-8/+6
2025-06-28Rollup merge of #143114 - leopardracer:master, r=RalfJungMatthias Krüger-2/+2
2025-06-28Auto merge of #141759 - 1c3t3a:discriminants-query, r=saethlinbors-1/+1
2025-06-28move all the message types into one placeRalf Jung-31/+31
2025-06-28de-intend some code, and extend commentsRalf Jung-111/+112
2025-06-28various minor native-lib-tracing tweaks, and disable naive-lib-tracing mode b...Ralf Jung-206/+165
2025-06-28clippyRalf Jung-10/+8
2025-06-28fmtThe Miri Cronjob Bot-4/+2
2025-06-28Merge from rustcThe Miri Cronjob Bot-17/+7
2025-06-28Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-06-27Rollup merge of #143046 - RalfJung:zst-unsafe-cell, r=lcnr,oli-obkMatthias Krüger-4/+4
2025-06-27Rollup merge of #140809 - bjorn3:panic_runtime_cleanup, r=petrochenkovMatthias Krüger-1/+2
2025-06-27Update dangling_pointer_to_raw_pointer.rsleopardracer-1/+1
2025-06-27Update README.mdleopardracer-1/+1
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-12/+1
2025-06-27Insert checks for enum discriminants when debug assertions are enabledBastian Kersting-1/+1
2025-06-27Split exported_symbols for generic and non-generic symbolsbjorn3-4/+4
2025-06-26Merge pull request #4408 from Patrick-6/rework-thread-joinRalf Jung-104/+111
2025-06-26Delay writing of return value of a join until after the join is successful.Patrick-6-104/+111
2025-06-26make size_and_align_of_mplace work on all projectableRalf Jung-4/+4
2025-06-24Avoid exporting panic_unwind as stdlib cargo featurebjorn3-1/+1
2025-06-24Add all rustc_std_internal_symbol to symbols.objorn3-0/+1
2025-06-20fmtNia Espera-7/+6
2025-06-20Update src/shims/trace/parent.rsNia-4/+5
2025-06-20error reworkNia Espera-33/+17
2025-06-20nonnullsNia Espera-22/+18
2025-06-20cfg ifNia Espera-4/+1
2025-06-20fix dumb mistakeNia Espera-1/+6
2025-06-20supervisor bits of ffi ptracingNia Espera-81/+606
2025-06-20Merge from rustcThe Miri Cronjob Bot-5/+5
2025-06-20Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-06-20Merge pull request #4362 from nia-e/fix-alloc-perfRalf Jung-36/+72
2025-06-19isolated_alloc: directly use mmap for allocationsNia Espera-36/+72
2025-06-19Merge pull request #4396 from Stypox/build-with-featuresRalf Jung-65/+153
2025-06-19Allow building Miri with --features from miri-scriptStypox-65/+153