about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-07-07Rollup merge of #143528 - RalfJung:stack-pop-cleanup, r=oli-obk许杰友 Jieyou Xu (Joe)-16/+16
2025-07-06Auto merge of #141829 - dvdsk:sleep_until_linux, r=cuviper,RalfJungbors-0/+192
2025-07-06sleep_until: add clock_nanosleep support to Miridvdsk-0/+192
2025-07-06interpret: rename StackPopCleanupRalf Jung-16/+16
2025-07-05fmtRalf Jung-1/+3
2025-07-05Merge from rustcRalf Jung-13/+8
2025-07-05Preparing for merge from rustcRalf Jung-1/+1
2025-07-04Rollup merge of #143387 - dpaoliello:shouldpanicfn, r=bjorn3Matthias Krüger-13/+8
2025-07-04declare data race and weak memory support as non-experimentalRalf Jung-2/+2
2025-07-04Merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-04Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-03Make __rust_alloc_error_handler_should_panic a functionDaniel Paoliello-13/+8
2025-07-03nanosleep: fix argument name and add a missing argument readRalf Jung-9/+6
2025-07-03Rollup merge of #134006 - klensy:typos, r=nnethercoteJana Dönszelmann-1/+1
2025-07-03Merge from rustcRalf Jung-80/+65
2025-07-03Preparing for merge from rustcRalf Jung-1/+1
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-07-03only set host-specific CC; improve and de-duplicate native libs testing logicRalf Jung-25/+18
2025-07-03Rollup merge of #143327 - RalfJung:miri-type-validity-error, r=oli-obkMatthias Krüger-62/+27
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