about summary refs log tree commit diff
path: root/src/tools/miri/miri-script
AgeCommit message (Expand)AuthorLines
2025-09-20clippyRalf Jung-4/+4
2025-07-27Merge pull request #4498 from RalfJung/genmc-buildRalf Jung-2/+2
2025-07-27Add support for building and linking against genmcPatrick-6-2/+2
2025-07-23Remove Josh code from `miri-script`Jakub Beránek-336/+6
2025-07-19move and update test dependenciesRalf Jung-1/+1
2025-07-19ditch which dependencyRalf Jung-30/+3
2025-07-19cargo updateRalf Jung-98/+158
2025-07-17allow using different cargo binaryNia Espera-5/+10
2025-07-05miri-script: set msrv so clippy doesn't suggest too-new featuresRalf Jung-2/+1
2025-07-01./miri toolchain: no need to run 'cargo metadata'Ralf Jung-5/+0
2025-06-29make ./miri work on stable againRalf Jung-5/+11
2025-06-19Allow building Miri with --features from miri-scriptStypox-65/+153
2025-05-27attempt to fix squash on WindowsRalf Jung-1/+22
2025-05-23./miri bench: sort results alphabeticallyRalf Jung-11/+15
2025-05-17fix clippy lintsRalf Jung-9/+5
2025-05-08Update miri, cargo-miri and miri-cript to edition 2024est31-2/+2
2025-05-02add ./miri squashRalf Jung-4/+80
2025-04-04cargo updateRalf Jung-74/+121
2025-04-04semver-bump some dependenciesRalf Jung-107/+38
2025-01-11avoid issues due to MIRI_TEST_TARGET being set from the outsideRalf Jung-0/+4
2024-12-28fix toolchain flag parsingRyan Mehri-0/+1
2024-12-27clippyRalf Jung-1/+1
2024-12-23remove --many-seeds from ./miri runRalf Jung-118/+28
2024-12-22miri-script: add option to compare with baseline resultsRalf Jung-8/+50
2024-12-22miri-script: support saving bench results in a baseline JSON fileRalf Jung-10/+60
2024-12-14fix 'rustc-push' and adjust help textsRalf Jung-32/+60
2024-12-14address commentsKonstantin Andrikopoulos-4/+4
2024-12-14Update miri-script/src/main.rsKostis Andrikopoulos-0/+2
2024-12-14experiment with using clapKonstantin Andrikopoulos-305/+194
2024-12-12./miri bench: add a flag to skip the install stepRalf Jung-6/+16
2024-12-11./miri bench: set toolchain explicitlyRalf Jung-1/+2
2024-11-20Merge from rustcThe Miri Cronjob Bot-5/+5
2024-11-18use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handlingRalf Jung-1/+3
2024-11-18Update `xshell` and `xshell-macros` to v0.2.7Urgau-5/+5
2024-10-27Add option for generating coverage reportsKonstantin Andrikopoulos-9/+162
2024-09-29let rustfmt format importsRalf Jung-7/+3
2024-09-29bump few depsklensy-57/+19
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-7/+7
2024-09-16Fix run --depOli Scherer-3/+7
2024-09-13./miri run: directly run binary instead of using 'cargo run'Ralf Jung-54/+143
2024-08-12Auto merge of #3798 - RalfJung:miri-script-remap-path-prefix, r=saethlinbors-93/+97
2024-08-12josh-proxy: fix wait-for-josh logicRalf Jung-9/+14
2024-08-10josh: wait until the socket is readyRalf Jung-19/+20
2024-08-10miri-script: pass around the relative crate dir, not the absolute path to the...Ralf Jung-34/+28
2024-08-10add './miri doc' commandRalf Jung-0/+20
2024-08-10update suggested RA config; the './miri cargo' command is not needed any moreRalf Jung-17/+2
2024-08-10miri-script: use --remap-path-prefix to print errors relative to the right rootRalf Jung-58/+63
2024-08-01when josh-proxy screws up the roundtrip, say what the involved commits areRalf Jung-1/+4
2024-06-28Bless clippyOli Scherer-6/+3
2024-06-13document --many-seeds; set the default range to 0..64Ralf Jung-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 01:39:55 +0000