about summary refs log tree commit diff
path: root/src/tools/miri/README.md
AgeCommit message (Collapse)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
Currently, Clippy, Miri, Rustfmt, and rustc all use an environment variable to indicate that output should be blessed, but they use different variable names. In order to improve consistency, this patch applies the following changes: - Emit `RUSTC_BLESS` within `prepare_cargo_test` so it is always available - Change usage of `MIRI_BLESS` in the Miri subtree to use `RUSTC_BLESS` - Change usage of `BLESS` in the Clippy subtree to `RUSTC_BLESS` - Change usage of `BLESS` in the Rustfmt subtree to `RUSTC_BLESS` - Adjust the blessable test in `rustc_errors` to use this same convention - Update documentation where applicable Any tools that uses `RUSTC_BLESS` should check that it is set to any value other than `"0"`.
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
Optional semantics for `Unique` Use with `-Zmiri-unique-is-unique`, makes `core::ptr::Unique` get a reborrow with its own permissions.
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-0/+3
2023-06-27Add trophyAndy Wang-0/+1
Appears to have been missed
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
* additional * addresses * aggregates * always * around * beginning * behaviours * borrows * called * canary * deallocated * determine * division * documentation * empty * endianness * ensures * existing * github * hygiene * individual * initialize * instantiate * library * location * miscellaneous * mitigates * needs * nonexistent * occurred * occurring * overridden * parameter * performable * previous * referential * requires * resolved * scenarios * semantics * spurious * structure * subtracting * suppress * synchronization * this * timestamp * to * transferring * unknown * variable * windows Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
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
Co-authored-by: Ralf Jung <post@ralfj.de>
2023-02-24Add ARM targets to CILevitatingLion-1/+3
Specifically `aarch64-unknown-linux-gnu` and `arm-unknown-linux-gnueabi`
2023-02-24Use pointers to `c_char` instead of `i8` in `miri_host_to_target_path`LevitatingLion-1/+1
This makes sure that the interface of `miri_host_to_target_path` is compatible with `CStr` for targets where `c_char` is unsigned (such as ARM). This commit changes the signature of `miri_host_to_target_path` in the README and in all test cases.
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
update Miri Notable PRs: - https://github.com/rust-lang/miri/pull/2636 - https://github.com/rust-lang/miri/pull/2641 - https://github.com/rust-lang/miri/pull/2638
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
This enables I/O in no_std contexts (or, really, any Miri-specific OS-independent context). Combined with the `abort` intrinsic it should allow a reasonable test framework in no_std.
2022-10-18Add docsBen Kimock-0/+11
2022-10-08bless cargo-miri outputRalf Jung-5/+4
I think cargo has a bug here: https://github.com/rust-lang/cargo/issues/11191 but for now we bless its output so that we can keep CI green
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-02-28 05:17:50 +0000