about summary refs log tree commit diff
path: root/src/tools/miri/CONTRIBUTING.md
AgeCommit message (Collapse)AuthorLines
2023-12-03Fix miri script target dir and update doc linkJefffrey-1/+1
2023-10-04auto-detect no_std where possibleRalf Jung-12/+5
2023-08-22miri-script: start and stop josh automaticallyRalf Jung-20/+17
2023-08-21update recommended RA configRalf Jung-4/+5
2023-07-31miri-script refactorRalf Jung-1/+1
2023-03-14Update docs to matchBen Kimock-7/+4
Co-authored-by: Ralf Jung <post@ralfj.de>
2023-01-31Update CONTRIBUTING.mdOli Scherer-2/+1
Co-authored-by: Ralf Jung <post@ralfj.de>
2023-01-30Add a note for using ssh login with joshOli Scherer-0/+8
2022-12-25use cargo-install to install josh-proxyRalf Jung-4/+4
2022-12-21update josh onstructionsRalf Jung-6/+6
2022-11-28Auto merge of #2698 - RalfJung:miri-in-rustc, r=oli-obkbors-47/+14
replace 'locally built rustc' instructions by 'Miri in rustc'
2022-11-27advice on josh pushingRalf Jung-0/+7
2022-11-27replace 'locally built rustc' instructions by 'Miri in rustc'Ralf Jung-47/+14
2022-11-15adjust josh pushing and remove ./miri toolchain updating the toolchain fileRalf Jung-19/+3
2022-11-15update josh instructionsRalf Jung-4/+4
2022-11-06README: Add macos cache deletion commandMartin Kröning-1/+2
2022-10-29Auto merge of #2634 - RalfJung:miri-script, r=oli-obkbors-18/+15
./miri updates: toolchain, rustc-push, rustc-pull This merges the `./rustup-toolchain` script into `./miri` as `./miri toolchain`, and adds two new commands for josh-based syncing. r? `@rust-lang/miri`
2022-10-29explain how to go back to rustup-managed MiriRalf Jung-0/+3
2022-10-29merge rustup-toolchain into ./miriRalf Jung-5/+5
2022-10-29teach ./miri how to do Josh syncsRalf Jung-13/+10
2022-10-24point to my fork of josh for nowRalf Jung-3/+2
2022-10-09add josh instructionsRalf Jung-2/+51
2022-09-25use rustc-build-sysroot instead of xargoRalf Jung-1/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+277
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 13:07:03 +0000