about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-04-04cargo updateRalf Jung-495/+546
2025-04-04semver-bump some dependenciesRalf Jung-230/+133
2025-04-03Stabilize the `cell_update` featureTrevor Gross-1/+0
2025-04-03Add another Miri-detected bug to README.mdAlan Somers-0/+1
2025-04-03test-cargo-miri: permissive provenance should not be needed any moreRalf Jung-7/+2
2025-04-03fix comment nitRalf Jung-2/+1
2025-04-03visit_freeze_sensitive: add commentRalf Jung-0/+3
2025-04-02Merge from rustcRalf Jung-1/+1
2025-04-02Preparing for merge from rustcRalf Jung-1/+1
2025-04-01interpret: add a version of run_for_validation for &selfRalf Jung-1/+1
2025-03-31Merge pull request #4243 from RalfJung/env-cleanup-too-muchRalf Jung-3/+7
2025-03-31do not run EnvVars::cleanup if there was an interpreter errorRalf Jung-3/+7
2025-03-28Merge pull request #4242 from RalfJung/clock-namesRalf Jung-30/+34
2025-03-28machine clock: make 'monotonic' explicitRalf Jung-30/+34
2025-03-28cache mangle_internal_symbol resultsRalf Jung-33/+40
2025-03-27Rename `--runtool` and `--runtool-arg`Eric Huss-6/+6
2025-03-27run a few more concurrency tests on aarch64-linux-androidRalf Jung-4/+4
2025-03-21Merge pull request #4236 from RalfJung/rustupRalf Jung-1/+4
2025-03-21Merge from rustcRalf Jung-0/+3
2025-03-21Preparing for merge from rustcRalf Jung-1/+1
2025-03-21catch_unwind: do not permit catch function to unwindRalf Jung-1/+2
2025-03-20interpret memory access hooks: also pass through the Pointer used for the accessRalf Jung-0/+3
2025-03-20Merge from rustcThe Miri Cronjob Bot-23/+66
2025-03-20Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-03-17Auto merge of #127173 - bjorn3:mangle_rustc_std_internal_symbol, r=wesleywise...bors-19/+64
2025-03-17Auto merge of #137081 - Shourya742:2025-02-15-change-config.toml-to-bootstrap...bors-2/+2
2025-03-17Fix miribjorn3-19/+64
2025-03-17Rollup merge of #137793 - NobodyXu:stablise-annoymous-pipe, r=joshtriplettJacob Pratt-2/+0
2025-03-17replace config.toml to bootstrap.toml in src:toolsbit-aloo-2/+2
2025-03-16Merge from rustcThe Miri Cronjob Bot-8/+0
2025-03-16Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-03-15Merge from rustcThe Miri Cronjob Bot-2/+2
2025-03-15Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-03-14Do not suggest using `-Zmacro-backtrace` for builtin macrosEsteban Küber-8/+0
2025-03-14Merge from rustcThe Miri Cronjob Bot-81/+91
2025-03-14Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-03-14Auto merge of #138157 - scottmcm:inline-more-tiny-things, r=oli-obkbors-2/+2
2025-03-13Rollup merge of #138417 - RalfJung:interpret-cleanup, r=oli-obkMatthias Krüger-50/+60
2025-03-14Stablize feature `anonymous_pipe`Jiahao XU-2/+0
2025-03-12Allow more top-down inlining for single-BB calleesScott McMurray-2/+2
2025-03-12Merge pull request #4185 from geetanshjuneja/abi_checkRalf Jung-7/+161
2025-03-12added check_shim_abigeetanshjuneja-7/+161
2025-03-12alloc_addresses: use MemoryKind instead of tcx query to determine global allo...Ralf Jung-2/+5
2025-03-12minor interpret cleanupsRalf Jung-50/+60
2025-03-12bless testtiif-15/+15
2025-03-12Remove testtiif-25/+0
2025-03-12Implement Display by mapping Conv to ExternAbitiif-3/+3
2025-03-12Remove unnecessary asserttiif-1/+0
2025-03-12Add test and change ub message wordingtiif-4/+30
2025-03-12impl Display for Convtiif-2/+1