about summary refs log tree commit diff
path: root/src/tools/miri/miri-script
AgeCommit message (Expand)AuthorLines
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