about summary refs log tree commit diff
path: root/src/tools/miri/miri
AgeCommit message (Expand)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
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
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
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
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 many...Ralf Jung-2/+7
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
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 17:26:57 +0000