| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 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 |
| 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 |
| 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 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |