| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-06-13 | cargo miri: add support for '--many-seeds' to run the program / tests many ↵ | Ralf Jung | -4/+3 | |
| times with different seeds | ||||
| 2024-05-26 | fix './miri run --dep --target _' | Ralf Jung | -1/+7 | |
| 2024-05-19 | Rollup merge of #125286 - RalfJung:miri-sync, r=RalfJung | Matthias Krüger | -161/+264 | |
| Miri subtree update r? `@ghost` | ||||
| 2024-05-19 | use a little arg-parsing helper for miri-script | Ralf Jung | -146/+258 | |
| 2024-05-19 | properly print error in 'cargo miri setup --print-sysroot' | Ralf Jung | -16/+7 | |
| 2024-05-18 | Fix typos (taking into account review comments) | blyxyas | -1/+1 | |
| 2024-05-09 | make MIRI_TEST_TARGET entirely an internal thing | Ralf Jung | -68/+90 | |
| 2024-05-09 | minor tweaks | Ralf Jung | -6/+4 | |
| 2024-05-08 | Allow test targets to be set via CLI args | Ross Smyth | -23/+75 | |
| 2024-05-04 | rustc_pull: explain order of operations | Ralf Jung | -0/+2 | |
| 2024-05-04 | make many-seeds a mode of ./miri run rather than a separate command | Ralf Jung | -80/+128 | |
| 2024-05-03 | ./miri run: support -v flag to print what it is doing | Ralf Jung | -24/+29 | |
| 2024-04-27 | josh rustc-pull: check that no new root commits get created | Ralf Jung | -0/+14 | |
| 2024-04-24 | make miri-script a workspace root | Ralf Jung | -1/+3 | |
| 2024-04-08 | set --sysroot outside the driver rather than messing with the arguments ↵ | Ralf Jung | -7/+11 | |
| passed to the driver | ||||
| 2024-03-31 | update josh version and guidance | Ralf Jung | -1/+1 | |
| 2024-03-26 | run command: simplify flag computation | Ralf Jung | -10/+13 | |
| 2024-03-24 | miri-script/toolchain: make new_commit logic easier to follow | Ralf Jung | -3/+3 | |
| 2024-03-24 | many-seeds: propagate failure properly | Ralf Jung | -2/+2 | |
| 2024-03-09 | rename tests/compiletest → tests/ui | Ralf Jung | -2/+2 | |
| 2024-03-03 | nits and typos | Ralf Jung | -3/+4 | |
| 2024-03-02 | Fix .\miri fmt on Windows | Ross Smyth | -30/+63 | |
| 2024-02-26 | ./miri many-seeds: support MIRI_SEED_END to control the end of the tried ↵ | Ralf Jung | -7/+14 | |
| seed range | ||||
| 2024-02-23 | cargo update | Ralf Jung | -50/+50 | |
| 2024-01-06 | cargo update | Ralf Jung | -68/+125 | |
| 2024-01-06 | ./miri build: also build tests, to avoid rebuilds later | Ralf Jung | -1/+3 | |
| 2023-12-18 | Auto merge of #3221 - RalfJung:edition, r=RalfJung | bors | -3/+12 | |
| ./miri run: default to edition 2021 Fixes https://github.com/rust-lang/miri/issues/2999 | ||||
| 2023-12-17 | rustc-push: automatically fill PR body to avoid reviewer assignment | Ralf Jung | -1/+1 | |
| 2023-12-10 | ./miri run: default to edition 2021 | Ralf Jung | -3/+12 | |
| 2023-12-05 | Fix formatting | Igor Matuszewski | -1/+3 | |
| 2023-12-05 | Don't explicitly warn against `semicolon_in_expressions_from_macros` | Igor Matuszewski | -1/+1 | |
| This warns-by-default since 2 years and already has been added to the future-incompat group since Rust 1.68. See https://github.com/rust-lang/rust/issues/79813 for the tracking issue. | ||||
| 2023-11-18 | miri script: fix RUSTC_GIT error message | Ralf Jung | -1/+1 | |
| 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 | Auto merge of #3107 - eduardosm:update-deps, r=RalfJung | bors | -41/+179 | |
| Update dependencies | ||||
| 2023-10-05 | Update miri-script dependencies | Eduardo Sánchez Muñoz | -41/+179 | |
| 2023-10-04 | miri-script: print which sysroot target we are building | Ralf Jung | -1/+4 | |
| 2023-09-16 | triagebot exclude_labels -> exclude_titles | Peter Jaszkowiak | -2/+2 | |
| 2023-09-11 | add subtree-sync label to rustc update PRs | Peter Jaszkowiak | -1/+5 | |
| 2023-09-06 | give josh more time to start | Ralf Jung | -2/+2 | |
| 2023-09-01 | add '--skip-children' to rustfmt invocation | Ralf Jung | -1/+1 | |
| 2023-08-22 | Auto merge of #3036 - RalfJung:josh-autostart, r=RalfJung | bors | -4/+196 | |
| automatically start and stop josh in rustc-pull/push Let's make use of the fact that this is not a shell script any more. :) | ||||
| 2023-08-22 | miri-script: start and stop josh automatically | Ralf Jung | -3/+194 | |
| 2023-08-22 | make sure './miri many-seeds ./miri run' does not re-invoke the auto-ops | Ralf Jung | -1/+2 | |
| 2023-08-22 | respect CARGO_EXTRA_FLAGS in more places | Ralf Jung | -1/+3 | |
| 2023-08-21 | fix MIRI_AUTO_OPS not having an effect any more | Ralf Jung | -0/+6 | |
| 2023-08-06 | rustc-pull: put a newline after the commit ID | Ralf Jung | -1/+1 | |
| 2023-08-04 | Auto merge of #3011 - saethlin:spellck, r=RalfJung | bors | -1/+1 | |
| A bit of spell-checking I noticed the one error in miri-script and took care of a few more shallow ones. | ||||
| 2023-08-03 | A bit of spell-checking | Ben Kimock | -1/+1 | |
| 2023-08-03 | Avoid infinite recursion for auto-fmt and auto-clippy | Oli Scherer | -9/+16 | |
| 2023-08-02 | fix miri-script being silent when running './miri test' | Ralf Jung | -8/+14 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |