about summary refs log tree commit diff
path: root/src/tools/miri/etc
AgeCommit message (Expand)AuthorLines
2025-07-27Add support for building and linking against genmcPatrick-6-0/+2
2025-07-18RA config: disable default features for faster build script buildRalf Jung-0/+2
2025-06-28Synced rust-analyzer configsYoh Deadfall-7/+5
2025-01-11adjust the way we build miri-script in RA, to fix proc-macrosRalf Jung-6/+4
2024-10-05Added rust-analyzer instructions for HelixYoh Deadfall-0/+59