about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-62/+27
2025-07-02use more clever approach for genmc conditional importRalf Jung-12/+3
2025-07-02interpret: move the native call preparation logic into MiriRalf Jung-18/+38
2025-07-02skip env var memory for leak checkRalf Jung-50/+9
2025-07-02Merge pull request #4406 from Stypox/tracingRalf Jung-102/+828
2025-07-02rename show_error -> fatal_errorRalf Jung-34/+34
2025-07-02Add tracing feature to enable tracing_chrome supportStypox-73/+799
2025-07-02Merge from rustcThe Miri Cronjob Bot-133/+6
2025-07-02Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
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-01Merge pull request #4411 from LorrensP-2158466/remove-leaky-syncobjRalf Jung-184/+148
2025-07-01Remove leaky synchronisation objects.LorrensP-2158466-184/+148
2025-07-01Auto merge of #143013 - bjorn3:split_exported_symbols, r=oli-obkbors-4/+4
2025-07-01Merge pull request #4433 from RalfJung/ci-balanceRalf Jung-4/+4
2025-07-01Merge pull request #4432 from RalfJung/no-metadataRalf Jung-5/+0
2025-07-01re-balance CI jobsRalf Jung-4/+4
2025-07-01./miri toolchain: no need to run 'cargo metadata'Ralf Jung-5/+0
2025-07-01fmtThe Miri Cronjob Bot-2/+0
2025-07-01Merge from rustcThe Miri Cronjob Bot-54/+117
2025-07-01Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
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-30linux futex: fix for val > i32::MAXRalf Jung-3/+9
2025-06-29Merge pull request #4397 from tgross35/gettid-shimsRalf Jung-12/+312
2025-06-29Add shims for `gettid`-esque functionsTrevor Gross-12/+312
2025-06-29add a riscv64 test jobRalf Jung-0/+5
2025-06-29remove duplicate clippy checkRalf Jung-4/+2
2025-06-29also test on s390x via qemuRalf Jung-0/+15
2025-06-29test on x86-32 and arm-32Ralf Jung-25/+41
2025-06-29fix type mismatches in native-lib/scalar_arguments testRalf Jung-2/+2
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-29Merge from rustcRalf Jung-59/+40
2025-06-29Preparing for merge from rustcRalf Jung-1/+1
2025-06-29Auto merge of #143137 - RalfJung:miri-sync, r=RalfJungbors-317/+1781
2025-06-29Merge pull request #4424 from RalfJung/aarch64-linux-ciRalf Jung-21/+45
2025-06-29also test on arm-64 linux hostsRalf Jung-21/+45
2025-06-29Rollup merge of #142078 - sayantn:more-intrinsics, r=workingjubileeGuillaume Gomez-0/+10
2025-06-29make ./miri work on stable againRalf Jung-23/+29
2025-06-29disable ptrace codepath since it doesn't build on many targetsRalf Jung-59/+29
2025-06-29Merge from rustcThe Miri Cronjob Bot-3/+3
2025-06-29fix miri build in bootstrapRalf Jung-0/+1
2025-06-29Preparing for merge from rustcThe Miri Cronjob Bot-1/+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-28Merge pull request #4415 from YohDeadfall/sync-ra-configsRalf Jung-7/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 11:14:20 +0000