summary refs log tree commit diff
path: root/src/tools/miri/README.md
AgeCommit message (Expand)AuthorLines
2022-11-20make miri-seed a regular integer, and also set layout-seed in many-seedsRalf Jung-2/+2
2022-11-17remove CI badgeRalf Jung-5/+0
2022-11-15Merge from rustcRalf Jung-2/+4
2022-11-11Rollup merge of #104051 - RalfJung:miri, r=RalfJungManish Goregaokar-6/+7
2022-11-07Add miri_alloc, miri_deallocMartin Kröning-0/+9
2022-11-06README: Add macos cache deletion commandMartin Kröning-1/+3
2022-11-06bootstrap: put Miri sysroot into local build dirRalf Jung-2/+4
2022-10-29Stacked Borrows: make scalar field retagging the defaultRalf Jung-3/+4
2022-10-29merge rustup-toolchain into ./miriRalf Jung-3/+3
2022-10-26tweak docsRalf Jung-1/+4
2022-10-25Rename, improve docs, fail betterBen Kimock-5/+10
2022-10-22add scalar-abi-only field retagging optionRalf Jung-0/+5
2022-10-19Magic functions for writing to stdout/stderr.Cliff L. Biffle-0/+10
2022-10-18Add docsBen Kimock-0/+11
2022-10-08bless cargo-miri outputRalf Jung-5/+4
2022-10-02Auto merge of #2564 - RalfJung:no-more-xargo, r=oli-obkRalf Jung-1/+1
2022-09-26update readmeChristian Poveda-2/+5
2022-09-25use rustc-build-sysroot instead of xargoRalf Jung-1/+1
2022-09-21readme: tag-gc tweaksRalf Jung-4/+4
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+639
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 11:09:10 +0000