| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-23 | Remove Josh code from `miri-script` | Jakub Beránek | -88/+2 | |
| 2025-07-19 | ditch which dependency | Ralf Jung | -25/+0 | |
| 2025-07-19 | cargo update | Ralf Jung | -98/+158 | |
| 2025-04-04 | cargo update | Ralf Jung | -74/+121 | |
| 2025-04-04 | semver-bump some dependencies | Ralf Jung | -104/+35 | |
| 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 | -1/+121 | |
| 2024-11-18 | Update `xshell` and `xshell-macros` to v0.2.7 | Urgau | -5/+5 | |
| 2024-10-27 | Add option for generating coverage reports | Konstantin 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-29 | bump few deps | klensy | -56/+18 | |
| 2024-09-13 | ./miri run: directly run binary instead of using 'cargo run' | Ralf Jung | -30/+88 | |
| 2024-05-04 | make many-seeds a mode of ./miri run rather than a separate command | Ralf Jung | -4/+4 | |
| 2024-02-23 | cargo update | Ralf Jung | -50/+50 | |
| 2024-01-06 | cargo update | Ralf Jung | -68/+125 | |
| 2023-10-18 | Bump rustix from 0.38.17 to 0.38.19 in /miri-script | dependabot[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-05 | Update miri-script dependencies | Eduardo Sánchez Muñoz | -39/+177 | |
| 2023-08-22 | miri-script: start and stop josh automatically | Ralf Jung | -0/+125 | |
| 2023-07-31 | port to hand-rolled parser, since clap doesn't behave just the right way | Ralf Jung | -299/+0 | |
| 2023-07-30 | rewrite miri script in Rust | Piotr Osiewicz | -0/+459 | |
