about summary refs log tree commit diff
path: root/src/tools/miri/miri-script/Cargo.lock
AgeCommit message (Collapse)AuthorLines
2025-07-23Remove Josh code from `miri-script`Jakub Beránek-88/+2
2025-07-19ditch which dependencyRalf Jung-25/+0
2025-07-19cargo updateRalf Jung-98/+158
2025-04-04cargo updateRalf Jung-74/+121
2025-04-04semver-bump some dependenciesRalf Jung-104/+35
2024-12-22miri-script: support saving bench results in a baseline JSON fileRalf Jung-0/+2
2024-12-14experiment with using clapKonstantin Andrikopoulos-1/+121
2024-11-18Update `xshell` and `xshell-macros` to v0.2.7Urgau-5/+5
2024-10-27Add option for generating coverage reportsKonstantin Andrikopoulos-4/+39
Add a `--coverage` option in the `test` subcommand of the miri script. This option, when set, will generate a coverage report after running the tests. `cargo-binutils` is needed as a dependency to generate the reports.
2024-09-29bump few depsklensy-56/+18
2024-09-13./miri run: directly run binary instead of using 'cargo run'Ralf Jung-30/+88
2024-05-04make many-seeds a mode of ./miri run rather than a separate commandRalf Jung-4/+4
2024-02-23cargo updateRalf Jung-50/+50
2024-01-06cargo updateRalf Jung-68/+125
2023-10-18Bump rustix from 0.38.17 to 0.38.19 in /miri-scriptdependabot[bot]-2/+2
Bumps [rustix](https://github.com/bytecodealliance/rustix) from 0.38.17 to 0.38.19. - [Release notes](https://github.com/bytecodealliance/rustix/releases) - [Commits](https://github.com/bytecodealliance/rustix/compare/v0.38.17...v0.38.19) --- updated-dependencies: - dependency-name: rustix dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2023-10-05Update miri-script dependenciesEduardo Sánchez Muñoz-39/+177
2023-08-22miri-script: start and stop josh automaticallyRalf Jung-0/+125
2023-07-31port to hand-rolled parser, since clap doesn't behave just the right wayRalf Jung-299/+0
2023-07-30rewrite miri script in RustPiotr Osiewicz-0/+459