about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-07-15Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-14Auto merge of #143745 - flip1995:clippy-subtree-update, r=Manishearthbors-0/+1
2025-07-14Rollup merge of #143710 - joshtriplett:random-updates, r=joshtriplettSamuel Tardieu-1/+1
2025-07-14Merge from rustcThe Miri Cronjob Bot-3/+6
2025-07-14Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-13Rollup merge of #143634 - nia-e:init-and-wildcards, r=RalfJungMatthias Krüger-3/+4
2025-07-12fix clippy_test_deps workspace handlingRalf Jung-0/+1
2025-07-12./x test miri: fix cleaning the miri_ui directoryRalf Jung-0/+2
2025-07-12readme: update strict provenance linkRalf Jung-3/+3
2025-07-11Update miri for change to random APIJosh Triplett-1/+1
2025-07-10interpret/allocation: expose init + write_wildcards on a rangeNia Espera-3/+4
2025-07-10silence clippyRalf Jung-0/+1
2025-07-10fmtThe Miri Cronjob Bot-1/+3
2025-07-10Merge from rustcThe Miri Cronjob Bot-2/+10
2025-07-10Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-09miri: fix out-of-bounds error for ptrs with negative offsetsRalf Jung-0/+53
2025-07-09various native-lib-trace-related fixupsNia Espera-338/+312
2025-07-08Implement enter_trace_span() in MiriMachineStypox-2/+10
2025-07-08Merge pull request #4454 from RalfJung/data_structureOli Scherer-25/+26
2025-07-08Merge from rustcRalf Jung-16/+16
2025-07-08Preparing for merge from rustcRalf Jung-1/+1
2025-07-07move our data structures into a central locationRalf Jung-25/+26
2025-07-07Rollup merge of #143528 - RalfJung:stack-pop-cleanup, r=oli-obk许杰友 Jieyou Xu (Joe)-16/+16
2025-07-07Merge pull request #4450 from RalfJung/unwind-payloadsRalf Jung-157/+169
2025-07-07split unwinding logic from panic logicRalf Jung-152/+164
2025-07-07Merge from rustcThe Miri Cronjob Bot-0/+192
2025-07-07Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
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-06rename panic_paylods → unwind_payloadsRalf Jung-7/+7
2025-07-06interpret: rename StackPopCleanupRalf Jung-16/+16
2025-07-05Merge pull request #4444 from devnexen/filemetadata_updRalf Jung-4/+22
2025-07-05minor cleanupRalf Jung-9/+4
2025-07-05shims::fs adding more fields to FileMetadataDavid Carlier-4/+27
2025-07-05miri-script: set msrv so clippy doesn't suggest too-new featuresRalf Jung-2/+1
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