about summary refs log tree commit diff
path: root/src/tools/miri/README.md
AgeCommit message (Expand)AuthorLines
2025-07-19add -Zmiri-no-extra-rounding-error to specifically disable just that part of ...Ralf Jung-5/+8
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 b...Ralf Jung-5/+3
2025-06-27Update README.mdleopardracer-1/+1
2025-06-18minimal ptrace setupNia Espera-0/+5
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
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
2025-04-03Add another Miri-detected bug to README.mdAlan Somers-0/+1
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 g...Ralf Jung-1/+3
2024-12-25show an error on some invalid flag combinations: TB + permissive provenance; ...Ralf Jung-2/+4
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 'alig...Ralf Jung-1/+1
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
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
2024-08-05Merge from rustcRalf Jung-0/+2
2024-08-03Promote aarch64-apple-darwin to Tier 1Evelyn Harthbrooke-1/+0
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
2024-06-24clarify the status of Tree BorrowsRalf Jung-2/+6
2024-06-13document --many-seeds; set the default range to 0..64Ralf Jung-17/+15
2024-05-28move ./miri environment variables to CONTRIBUTINGRalf Jung-15/+6
2024-05-10rename 'extern-so' to 'native-lib'Ralf Jung-6/+6
2024-05-09make RUSTC_BLESS entirely an internal thingRalf Jung-2/+0
2024-05-09make MIRI_TEST_TARGET entirely an internal thingRalf Jung-34/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 15:51:15 +0000