about summary refs log tree commit diff
path: root/src/tools/miri/README.md
AgeCommit message (Collapse)AuthorLines
2025-09-13Merge ref '4ba1cf9ade4c' from rust-lang/rustThe Miri Cronjob Bot-0/+1
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 4ba1cf9ade4c8e2fa10676a50ee34594eb161837 Filtered ref: 84b64d836ed478c54972a1d2639e60fa5f3ce26f Upstream diff: https://github.com/rust-lang/rust/compare/2a9bacf6187685931d52346a0ecff2e52bdc91cc...4ba1cf9ade4c8e2fa10676a50ee34594eb161837 This merge was created using https://github.com/rust-lang/josh-sync.
2025-09-12make a basic hello world work on wasip2Ralf Jung-1/+1
2025-09-12Rollup merge of #145895 - RalfJung:unpark, r=joboetStuart Cook-0/+1
thread parking: fix docs and examples Fixes https://github.com/rust-lang/rust/issues/145816 r? ```@joboet``` Cc ```@m-ou-se``` ```@Amanieu```
2025-09-03add flag to not shorten FD reads/writes; don't shorten pipe operationsRalf Jung-0/+4
2025-09-03thread parking: fix docs and examplesRalf Jung-0/+1
2025-09-02add a flag to always apply the maximum float errorRalf Jung-0/+2
2025-07-19add -Zmiri-no-extra-rounding-error to specifically disable just that part of ↵Ralf Jung-5/+8
float-nondet
2025-07-12readme: update strict provenance linkRalf Jung-3/+3
2025-07-04declare data race and weak memory support as non-experimentalRalf Jung-2/+2
2025-06-29Merge from rustcThe Miri Cronjob Bot-1/+1
2025-06-28various minor native-lib-tracing tweaks, and disable naive-lib-tracing mode ↵Ralf Jung-5/+3
by default
2025-06-27Update README.mdleopardracer-1/+1
2025-06-18minimal ptrace setupNia Espera-0/+5
Apply suggestions from code review Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de> review comments fix possible hang
2025-06-11miri: add flag to suppress float non-determinismRalf Jung-0/+5
2025-06-09native-lib: update readme (to mention folders in header)Ralf Jung-10/+12
2025-06-09Merge pull request #4376 from yoctocell/tb-interior-mut-flagRalf Jung-0/+4
TB: Add flag to disable the more precise interior mutability tracking
2025-06-09Add `-Zmiri-tree-borrows-no-precise-interior-mut` flagXinglu Chen-0/+4
2025-06-03native-lib: allow multiple libraries and/or dirsNia Espera-2/+4
2025-05-21document that the entire test suite passes under freebsdRalf Jung-1/+1
2025-05-19add this to Miri's trophy caseRalf Jung-0/+1
2025-05-10test intrinsic fallback bodies with MiriRalf Jung-0/+3
2025-05-04Remove -Zunique-is-uniqueJohannes Hostert-3/+0
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-19/+33
2025-04-27`unsafe(no_mangle)` in `miri_start` examplesprimoly-1/+1
2025-04-04Update README.md Alan Somers-1/+1
verb -> participle Co-authored-by: Ralf Jung <post@ralfj.de>
2025-04-03Add another Miri-detected bug to README.mdAlan Somers-0/+1
Miri detected this bug in Mockall: https://github.com/asomers/mockall/issues/647 [skip ci]
2025-03-06Update documentation about nextestBen Kimock-2/+1
2025-03-03Add an anchor to directly link to the -Zmiri-tree-borrows docsJake Goulding-1/+2
2025-01-12turns out Solarish targets support our entire test suiteRalf Jung-1/+1
2025-01-12record YohDeadfall as FreeBSD maintainerRalf Jung-1/+1
2024-12-25we generally make later flags overwrite earlier flags, so remove some logic ↵Ralf Jung-1/+3
guarding just against that
2024-12-25show an error on some invalid flag combinations: TB + permissive provenance; ↵Ralf Jung-2/+4
strict provenance + native calls
2024-12-23many-seeds: add flag to keep going even after we found a failing seedRalf Jung-0/+2
2024-12-23remove many-seeds mode from cargo-miriRalf Jung-4/+10
2024-12-19add warning explaining the limitations of the native code modeRalf Jung-10/+13
2024-12-05make SC fences stronger, to be correct wrt C++20Ralf Jung-3/+4
2024-11-20trophy case: add RwLock::downgrade bugRalf Jung-0/+1
2024-10-10remove -Zmiri-panic-on-unsupported flagRalf Jung-5/+0
2024-10-07Fix spelling in READMEJake-2/+2
2024-09-25update BASIC test list: no longer test HashMap, add libc-mem instead of ↵Ralf Jung-1/+1
'align' for heap allocator coverage, move 'hello' to UNIX HashMap now needs pretty target-specific randomness functions. It still works on Android, but not on FreeBSD and Solarish.
2024-09-15we can test more things on Solarish, and update its status in the READMERalf Jung-1/+1
2024-09-09ci: bump actions/checkout to v4Trivikram Kamat-1/+1
2024-09-03Enable native libraries on macOSJesse Rusak-1/+1
Fixes #3595 by using -fvisibility=hidden and the visibility attribute supported by both gcc and clang rather than the previous gcc-only mechanism for symbol hiding. Also brings over cfg changes from #3594 which enable native-lib functionality on all unixes.
2024-08-13remove the concept of a Call IDRalf Jung-4/+0
2024-08-11Rollup merge of #128592 - evelynharthbrooke:master, r=Mark-SimulacrumMatthias Krüger-1/+0
Promote aarch64-apple-darwin to Tier 1 This promotes aarch64-apple-darwin to Tier 1 status as per rust-lang/rfcs#3671 and tracking issue #73908. Not sure what else is necessary for this to impement the aforementioned RFC, however I figured I'd try. I did read in previous issues and PRs that the necessary infrastructure was already in place for the aarch64-apple-darwin target, and the RFC mentions the same. So this should be all thats necessary in order for the target to be promoted. This is a recreation of my previous PR because I accidentally did an incorrect git rebase which caused unnecessary changes to various commit SHAs. So this PR is a recreation of my previous PR without said stumble. My bad.
2024-08-05Merge from rustcRalf Jung-0/+2
2024-08-03Promote aarch64-apple-darwin to Tier 1Evelyn Harthbrooke-1/+0
Per rust-lang/rfcs#3671.
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-0/+2
2024-08-02docsRalf Jung-0/+13
2024-06-28readme: tweak wording around soundnessRalf Jung-4/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 13:15:26 +0000