| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-20 | clippy | Ralf Jung | -4/+4 | |
| 2025-07-27 | Merge pull request #4498 from RalfJung/genmc-build | Ralf Jung | -2/+2 | |
| Add support for building and linking against genmc | ||||
| 2025-07-27 | Add support for building and linking against genmc | Patrick-6 | -2/+2 | |
| 2025-07-23 | Remove Josh code from `miri-script` | Jakub Beránek | -336/+6 | |
| 2025-07-19 | move and update test dependencies | Ralf Jung | -1/+1 | |
| 2025-07-19 | ditch which dependency | Ralf Jung | -30/+3 | |
| 2025-07-19 | cargo update | Ralf Jung | -98/+158 | |
| 2025-07-17 | allow using different cargo binary | Nia Espera | -5/+10 | |
| 2025-07-05 | miri-script: set msrv so clippy doesn't suggest too-new features | Ralf Jung | -2/+1 | |
| 2025-07-01 | ./miri toolchain: no need to run 'cargo metadata' | Ralf Jung | -5/+0 | |
| 2025-06-29 | make ./miri work on stable again | Ralf Jung | -5/+11 | |
| 2025-06-19 | Allow building Miri with --features from miri-script | Stypox | -65/+153 | |
| Otherwise there was no way to pass e.g. `--features tracing` just to the `cargo` commands issued on the root repository: CARGO_EXTRA_FLAGS applies the flags to the "cargo-miri" crate, too, which does not make sense for crate-specific features. Fix install_to_sysroot doing path concatenation twice. Since the second concatenation was against an absolute path, it didn't do anything. This also makes the interface of install_to_sysroot() similar to that of cargo_cmd(). Implement --features for clippy, also fix not passing features to one of the cargo invocations for test | ||||
| 2025-05-27 | attempt to fix squash on Windows | Ralf Jung | -1/+22 | |
| 2025-05-23 | ./miri bench: sort results alphabetically | Ralf Jung | -11/+15 | |
| 2025-05-17 | fix clippy lints | Ralf Jung | -9/+5 | |
| 2025-05-08 | Update miri, cargo-miri and miri-cript to edition 2024 | est31 | -2/+2 | |
| Also update the format edition to 2024 | ||||
| 2025-05-02 | add ./miri squash | Ralf Jung | -4/+80 | |
| 2025-04-04 | cargo update | Ralf Jung | -74/+121 | |
| 2025-04-04 | semver-bump some dependencies | Ralf Jung | -107/+38 | |
| 2025-01-11 | avoid issues due to MIRI_TEST_TARGET being set from the outside | Ralf Jung | -0/+4 | |
| 2024-12-28 | fix toolchain flag parsing | Ryan Mehri | -0/+1 | |
| 2024-12-27 | clippy | Ralf Jung | -1/+1 | |
| 2024-12-23 | remove --many-seeds from ./miri run | Ralf Jung | -118/+28 | |
| 2024-12-22 | miri-script: add option to compare with baseline results | Ralf Jung | -8/+50 | |
| 2024-12-22 | miri-script: support saving bench results in a baseline JSON file | Ralf Jung | -10/+60 | |
| 2024-12-14 | fix 'rustc-push' and adjust help texts | Ralf Jung | -32/+60 | |
| 2024-12-14 | address comments | Konstantin Andrikopoulos | -4/+4 | |
| 2024-12-14 | Update miri-script/src/main.rs | Kostis Andrikopoulos | -0/+2 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-12-14 | experiment with using clap | Konstantin Andrikopoulos | -305/+194 | |
| 2024-12-12 | ./miri bench: add a flag to skip the install step | Ralf Jung | -6/+16 | |
| 2024-12-11 | ./miri bench: set toolchain explicitly | Ralf Jung | -1/+2 | |
| 2024-11-20 | Merge from rustc | The Miri Cronjob Bot | -5/+5 | |
| 2024-11-18 | use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling | Ralf Jung | -1/+3 | |
| 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 | -9/+162 | |
| 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 | let rustfmt format imports | Ralf Jung | -7/+3 | |
| 2024-09-29 | bump few deps | klensy | -57/+19 | |
| 2024-09-21 | fmt (with a huge diff for some reason) | Ralf Jung | -7/+7 | |
| 2024-09-16 | Fix run --dep | Oli Scherer | -3/+7 | |
| 2024-09-13 | ./miri run: directly run binary instead of using 'cargo run' | Ralf Jung | -54/+143 | |
| 2024-08-12 | Auto merge of #3798 - RalfJung:miri-script-remap-path-prefix, r=saethlin | bors | -93/+97 | |
| miri-script: use --remap-path-prefix to print errors relative to the right root Inspired by https://github.com/rust-lang/rust-clippy/pull/13232, this makes it so that when cargo-miri fails to build, `./miri check` will print errors with paths like `cargo-miri/src/setup.rs`. That means we can get rid of the miri-symlink-hacks and instead tell RA to just always invoke the `./miri clippy` script just once, in the root. This means that we can no longer share a target dir between cargo-miri and miri as the RUSTFLAGS are different to crates that are shared in the dependency tree need to be built twice with two different flags. `miri-script` hence now has to set the MIRI environment variable to tell the `cargo miri setup` invocation where to find Miri. I also made it so that errors in miri-script itself are properly shown in RA, for which the `./miri` shell wrapper needs to set the right flags. | ||||
| 2024-08-12 | josh-proxy: fix wait-for-josh logic | Ralf Jung | -9/+14 | |
| 2024-08-10 | josh: wait until the socket is ready | Ralf Jung | -19/+20 | |
| 2024-08-10 | miri-script: pass around the relative crate dir, not the absolute path to ↵ | Ralf Jung | -34/+28 | |
| the toml file | ||||
| 2024-08-10 | add './miri doc' command | Ralf Jung | -0/+20 | |
| 2024-08-10 | update suggested RA config; the './miri cargo' command is not needed any more | Ralf Jung | -17/+2 | |
| 2024-08-10 | miri-script: use --remap-path-prefix to print errors relative to the right root | Ralf Jung | -58/+63 | |
| 2024-08-01 | when josh-proxy screws up the roundtrip, say what the involved commits are | Ralf Jung | -1/+4 | |
| 2024-06-28 | Bless clippy | Oli Scherer | -6/+3 | |
| 2024-06-13 | document --many-seeds; set the default range to 0..64 | Ralf Jung | -2/+2 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |