about summary refs log tree commit diff
path: root/src/tools/miri/miri-script/Cargo.toml
AgeCommit message (Expand)AuthorLines
2025-07-23Remove Josh code from `miri-script`Jakub Beránek-1/+0
2025-07-19ditch which dependencyRalf Jung-1/+0
2025-07-05miri-script: set msrv so clippy doesn't suggest too-new featuresRalf Jung-0/+1
2025-05-08Update miri, cargo-miri and miri-cript to edition 2024est31-1/+1
2025-04-04semver-bump some dependenciesRalf Jung-3/+3
2024-12-22miri-script: support saving bench results in a baseline JSON fileRalf Jung-0/+2
2024-12-14experiment with using clapKonstantin Andrikopoulos-0/+1
2024-10-27Add option for generating coverage reportsKonstantin Andrikopoulos-0/+1
2024-09-29bump few depsklensy-1/+1
2024-09-13./miri run: directly run binary instead of using 'cargo run'Ralf Jung-0/+1
2024-05-04make many-seeds a mode of ./miri run rather than a separate commandRalf Jung-1/+1
2024-04-24make miri-script a workspace rootRalf Jung-1/+3
2023-10-05Update miri-script dependenciesEduardo Sánchez Muñoz-2/+2
2023-08-22miri-script: start and stop josh automaticallyRalf Jung-0/+1
2023-07-31port to hand-rolled parser, since clap doesn't behave just the right wayRalf Jung-1/+0
2023-07-30rewrite miri script in RustPiotr Osiewicz-0/+23
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-28 16:41:06 +0000