summary refs log tree commit diff
path: root/src/tools/miri/miri-script
AgeCommit message (Expand)AuthorLines
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
2024-06-13cargo miri: add support for '--many-seeds' to run the program / tests many ti...Ralf Jung-4/+3
2024-05-26fix './miri run --dep --target _'Ralf Jung-1/+7
2024-05-19Rollup merge of #125286 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-161/+264
2024-05-19use a little arg-parsing helper for miri-scriptRalf Jung-146/+258
2024-05-19properly print error in 'cargo miri setup --print-sysroot'Ralf Jung-16/+7
2024-05-18Fix typos (taking into account review comments)blyxyas-1/+1
2024-05-09make MIRI_TEST_TARGET entirely an internal thingRalf Jung-68/+90
2024-05-09minor tweaksRalf Jung-6/+4
2024-05-08Allow test targets to be set via CLI argsRoss Smyth-23/+75
2024-05-04rustc_pull: explain order of operationsRalf Jung-0/+2
2024-05-04make many-seeds a mode of ./miri run rather than a separate commandRalf Jung-80/+128
2024-05-03./miri run: support -v flag to print what it is doingRalf Jung-24/+29
2024-04-27josh rustc-pull: check that no new root commits get createdRalf Jung-0/+14
2024-04-24make miri-script a workspace rootRalf Jung-1/+3
2024-04-08set --sysroot outside the driver rather than messing with the arguments passe...Ralf Jung-7/+11
2024-03-31update josh version and guidanceRalf Jung-1/+1
2024-03-26run command: simplify flag computationRalf Jung-10/+13
2024-03-24miri-script/toolchain: make new_commit logic easier to followRalf Jung-3/+3
2024-03-24many-seeds: propagate failure properlyRalf Jung-2/+2
2024-03-09rename tests/compiletest → tests/uiRalf Jung-2/+2
2024-03-03nits and typosRalf Jung-3/+4
2024-03-02Fix .\miri fmt on WindowsRoss Smyth-30/+63
2024-02-26./miri many-seeds: support MIRI_SEED_END to control the end of the tried seed...Ralf Jung-7/+14
2024-02-23cargo updateRalf Jung-50/+50
2024-01-06cargo updateRalf Jung-68/+125
2024-01-06./miri build: also build tests, to avoid rebuilds laterRalf Jung-1/+3
2023-12-18Auto merge of #3221 - RalfJung:edition, r=RalfJungbors-3/+12
2023-12-17rustc-push: automatically fill PR body to avoid reviewer assignmentRalf Jung-1/+1
2023-12-10./miri run: default to edition 2021Ralf Jung-3/+12
2023-12-05Fix formattingIgor Matuszewski-1/+3
2023-12-05Don't explicitly warn against `semicolon_in_expressions_from_macros`Igor Matuszewski-1/+1
2023-11-18miri script: fix RUSTC_GIT error messageRalf Jung-1/+1
2023-10-18Bump rustix from 0.38.17 to 0.38.19 in /miri-scriptdependabot[bot]-2/+2
2023-10-05Auto merge of #3107 - eduardosm:update-deps, r=RalfJungbors-41/+179
2023-10-05Update miri-script dependenciesEduardo Sánchez Muñoz-41/+179
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 18:49:14 +0000