about summary refs log tree commit diff
path: root/src/tools/miri/miri
AgeCommit message (Collapse)AuthorLines
2025-07-17allow using different cargo binaryNia Espera-1/+2
2025-06-29make ./miri work on stable againRalf Jung-12/+16
2025-01-11adjust the way we build miri-script in RA, to fix proc-macrosRalf Jung-3/+7
2024-11-18use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handlingRalf Jung-3/+5
2024-08-10miri-script: use --remap-path-prefix to print errors relative to the right rootRalf Jung-3/+10
2024-06-22./miri: nicer error when building miri-script failsRalf Jung-1/+2
2024-03-24miri script: build with stable toolchainRalf Jung-1/+1
2023-12-03Fix miri script target dir and update doc linkJefffrey-2/+3
2023-09-08Use `#!/usr/bin/env` shebang Nilstrieb-1/+1
``` $ ls /bin/bash ls: cannot access '/bin/bash': No such file or directory ``` On certain systems, `/bin` and `/usr/bin` are nothing but wastelands, with just `env`around as the last survivor of the great purge. The binaries have cowardly hidden away and only `env` can show us the way to greatness (bash). ❄️
2023-08-22respect CARGO_EXTRA_FLAGS in more placesRalf Jung-1/+1
2023-07-31miri-script refactorRalf Jung-2/+2
2023-07-30rewrite miri script in RustPiotr Osiewicz-357/+4
2023-07-26Unite bless environment variables under `RUSTC_BLESS`Trevor Gross-1/+1
Currently, Clippy, Miri, Rustfmt, and rustc all use an environment variable to indicate that output should be blessed, but they use different variable names. In order to improve consistency, this patch applies the following changes: - Emit `RUSTC_BLESS` within `prepare_cargo_test` so it is always available - Change usage of `MIRI_BLESS` in the Miri subtree to use `RUSTC_BLESS` - Change usage of `BLESS` in the Clippy subtree to `RUSTC_BLESS` - Change usage of `BLESS` in the Rustfmt subtree to `RUSTC_BLESS` - Adjust the blessable test in `rustc_errors` to use this same convention - Update documentation where applicable Any tools that uses `RUSTC_BLESS` should check that it is set to any value other than `"0"`.
2023-07-18make './miri toolchain' work even if we cannot write to rustup dirRalf Jung-1/+3
2023-07-07Silence all the boilerplate around `./miri run` and `./miri run-dep`Oli Scherer-0/+1
2023-07-02cronjob auto-PR: make sure we are on a branchRalf Jung-1/+1
2023-05-31miri-script: Transform Windows paths to unix.Piotr Osiewicz-1/+1
python3 snippet used to fill $MIRIDIR variable returns native paths. Down the line in `bench` subcommand this leads to benchmark setup failure, preventing contributors from running benchmarks on Windows hosts. This commit replaces usage of native os.path module with pathlib, which explicitly converts paths to Unix flavour.
2023-05-31CI: test ./miri benchRalf Jung-4/+5
2023-05-11Stop ignoring the `--manifest-path`Oli Scherer-1/+1
2023-05-11Add `./miri run-dep` for running a file with test dependencies availableOli Scherer-2/+8
2023-04-30make it more obvious when the rustc-pull failedRalf Jung-3/+3
2023-03-14Update docs to matchBen Kimock-3/+3
Co-authored-by: Ralf Jung <post@ralfj.de>
2023-03-09Install binaries to the miri toolchain's sysrootBen Kimock-2/+3
2022-12-25enable some warnings that rustc bootstrap enablesRalf Jung-1/+1
2022-11-28make ./miri run a bit more silent; add option to control seeds tested by ↵Ralf Jung-2/+7
many-seeds
2022-11-20make miri-seed a regular integer, and also set layout-seed in many-seedsRalf Jung-2/+2
2022-11-17update josh scriptsRalf Jung-15/+25
- support pulling specific commit - make rust-version update a separate commit to avoid confusing josh - after pushing, check that we have a clear round-trip
2022-11-15adjust josh pushing and remove ./miri toolchain updating the toolchain fileRalf Jung-30/+33
2022-11-15update josh instructionsRalf Jung-2/+2
2022-11-02fix ./miri benchRalf Jung-1/+4
2022-10-30rustupRalf Jung-1/+1
2022-10-29merge rustup-toolchain into ./miriRalf Jung-1/+44
2022-10-29teach ./miri how to do Josh syncsRalf Jung-31/+79
2022-10-02no need to make cargo-miri build quiet; cargo only prints to stderr anywayRalf Jung-1/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+236
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 00:55:30 +0000