summary refs log tree commit diff
path: root/src/tools/miri/miri-script
AgeCommit message (Expand)AuthorLines
2023-08-06rustc-pull: put a newline after the commit IDRalf Jung-1/+1
2023-08-04Auto merge of #3011 - saethlin:spellck, r=RalfJungbors-1/+1
2023-08-03A bit of spell-checkingBen Kimock-1/+1
2023-08-03Avoid infinite recursion for auto-fmt and auto-clippyOli Scherer-9/+16
2023-08-02fix miri-script being silent when running './miri test'Ralf Jung-8/+14
2023-08-02no need to forward all env varsRalf Jung-17/+8
2023-08-02miri-script: simplify flag computation a bitRalf Jung-12/+12
2023-07-31port to hand-rolled parser, since clap doesn't behave just the right wayRalf Jung-354/+150
2023-07-31miri-script refactorRalf Jung-608/+543
2023-07-30rewrite miri script in RustPiotr Osiewicz-0/+1273