| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-23 | Remove Josh code from `miri-script` | Jakub Beránek | -1/+0 | |
| 2025-07-19 | ditch which dependency | Ralf Jung | -1/+0 | |
| 2025-07-05 | miri-script: set msrv so clippy doesn't suggest too-new features | Ralf Jung | -0/+1 | |
| 2025-05-08 | Update miri, cargo-miri and miri-cript to edition 2024 | est31 | -1/+1 | |
| Also update the format edition to 2024 | ||||
| 2025-04-04 | semver-bump some dependencies | Ralf Jung | -3/+3 | |
| 2024-12-22 | miri-script: support saving bench results in a baseline JSON file | Ralf Jung | -0/+2 | |
| 2024-12-14 | experiment with using clap | Konstantin Andrikopoulos | -0/+1 | |
| 2024-10-27 | Add option for generating coverage reports | Konstantin Andrikopoulos | -0/+1 | |
| 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-29 | bump few deps | klensy | -1/+1 | |
| 2024-09-13 | ./miri run: directly run binary instead of using 'cargo run' | Ralf Jung | -0/+1 | |
| 2024-05-04 | make many-seeds a mode of ./miri run rather than a separate command | Ralf Jung | -1/+1 | |
| 2024-04-24 | make miri-script a workspace root | Ralf Jung | -1/+3 | |
| 2023-10-05 | Update miri-script dependencies | Eduardo Sánchez Muñoz | -2/+2 | |
| 2023-08-22 | miri-script: start and stop josh automatically | Ralf Jung | -0/+1 | |
| 2023-07-31 | port to hand-rolled parser, since clap doesn't behave just the right way | Ralf Jung | -1/+0 | |
| 2023-07-30 | rewrite miri script in Rust | Piotr Osiewicz | -0/+23 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |