about summary refs log tree commit diff
path: root/src/tools/miri/README.md
AgeCommit message (Expand)AuthorLines
2023-12-03new trophy case entryRalf Jung-0/+1
2023-11-19tag-gc -> provenance-gcBen Kimock-4/+4
2023-10-27add aarch64-apple-darwin to list of supported targetsRalf Jung-2/+3
2023-10-04auto-detect no_std where possibleRalf Jung-2/+4
2023-09-25Document new env varOli Scherer-0/+2
2023-09-21deprecate -Zmiri-disable-abi-checkRalf Jung-1/+1
2023-08-31update target support sectionRalf Jung-15/+13
2023-08-21fix MIRI_AUTO_OPS not having an effect any moreRalf Jung-2/+2
2023-08-08[nit][typo] Remove "currently" that breaks reading flow.Taras Tsugrii-1/+1
2023-07-26Unite bless environment variables under `RUSTC_BLESS`Trevor Gross-1/+1
2023-07-21make full field retagging the defaultRalf Jung-9/+5
2023-07-16link to a definition of soundnessRalf Jung-1/+2
2023-07-16clarify that we do not prove soundnessRalf Jung-0/+6
2023-06-28Auto merge of #2936 - Vanille-N:unique, r=RalfJungbors-0/+3
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-0/+3
2023-06-27Add trophyAndy Wang-0/+1
2023-05-09Amend the docs for -Zmiri-measuremeBen Kimock-1/+1
2023-04-17Merge from rustcOli Scherer-5/+9
2023-04-16Add a flag to disable leak backtracesBen Kimock-5/+9
2023-04-14Fix spellingJosh Soref-1/+1
2023-03-28add link for tree borrows similar to stacked borrowsYerke Tulibergenov-4/+5
2023-03-16TB: document TB changes in READMENeven Villani-118/+13
2023-03-12tweak readmeRalf Jung-3/+3
2023-03-12Add a section on using nextestBen Kimock-0/+20
2023-02-24Use full path to `c_char` in READMELevitatingLion-1/+1
2023-02-24Add ARM targets to CILevitatingLion-1/+3
2023-02-24Use pointers to `c_char` instead of `i8` in `miri_host_to_target_path`LevitatingLion-1/+1
2022-12-24Merge from rustcRalf Jung-0/+1
2022-12-23fix IntoIter::drop on high-alignment ZSTRalf Jung-0/+1
2022-12-12make unix path handling on Windows hosts preserve absolutenessRalf Jung-1/+1
2022-12-12expose host-to-target path conversion to interpreted programRalf Jung-0/+15
2022-12-11add support for variable page sizes to miriNia Espera-0/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 23:32:23 +0000