about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-2/+2
2024-03-03Auto merge of #121936 - RalfJung:miri, r=RalfJungbors-343/+607
2024-03-03Auto merge of #3345 - RalfJung:win-get-thread-name, r=RalfJungbors-44/+145
2024-03-03Windows: support getting the thread nameRalf Jung-20/+94
2024-03-03fix wording of alloc access tracking messageRalf Jung-1/+1
2024-03-03readmeRalf Jung-0/+2
2024-03-03move thread-panic tests to their own file; test getting the thread nameRalf Jung-24/+51
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking les...Ralf Jung-104/+125
2024-03-02add option to track all read/write accesses to tracked allocationsRalf Jung-14/+38
2024-03-02print thread name in miri error backtracesRalf Jung-170/+219
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-0/+10
2024-02-29add regression testRalf Jung-0/+25
2024-02-29Merge from rustcRalf Jung-1/+1
2024-02-29Preparing for merge from rustcRalf Jung-1/+1
2024-02-29Merge from rustcThe Miri Conjob Bot-3/+3
2024-02-29Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-29Stop miri if delayed bugs are present.Nicholas Nethercote-1/+1
2024-02-28Add stubs for `f16` and `f128` to miriTrevor Gross-0/+10
2024-02-28remove a wrong bitwise negationRalf Jung-1/+1
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-1/+1
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-27Auto merge of #3332 - RalfJung:trophy, r=RalfJungbors-0/+1
2024-02-27Auto merge of #3331 - rust-lang:rustup-2024-02-27, r=RalfJungbors-77/+49
2024-02-27add mpsc memory leak to trophy caseRalf Jung-0/+1
2024-02-27Merge from rustcThe Miri Conjob Bot-76/+48
2024-02-27Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-27Auto merge of #121655 - matthiaskrgr:rollup-qpx3kks, r=matthiaskrgrbors-27/+27
2024-02-27Rollup merge of #121598 - RalfJung:catch_unwind, r=oli-obkMatthias Krüger-27/+27
2024-02-26Auto merge of #121516 - RalfJung:platform-intrinsics-begone, r=oli-obkbors-49/+21
2024-02-26Fix miri.bat not bailing early on errorRoss Smyth-1/+4
2024-02-26Auto merge of #3328 - RalfJung:many-seeds, r=RalfJungbors-7/+14
2024-02-26./miri many-seeds: support MIRI_SEED_END to control the end of the tried seed...Ralf Jung-7/+14
2024-02-26miri: rename miri_start_panic → miri_start_unwindRalf Jung-22/+22
2024-02-26rename 'try' intrinsic to 'catch_unwind'Ralf Jung-5/+5
2024-02-26tree borrows: add a test to sb_failsRalf Jung-2/+16
2024-02-26add direct test for new ProcessPrng shimRalf Jung-0/+17
2024-02-26fix clippyRalf Jung-1/+1
2024-02-26Merge from rustcThe Miri Conjob Bot-0/+8
2024-02-26Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-25more dealing with macOS being slowRalf Jung-1/+1
2024-02-25Add ProcessPrng shim to MiriChris Denton-0/+8
2024-02-25Merge from rustcRalf Jung-21/+41
2024-02-25Preparing for merge from rustcRalf Jung-1/+1
2024-02-25Auto merge of #121579 - RalfJung:miri, r=RalfJungbors-320/+457
2024-02-25fix use of platform_intrinsics in testsRalf Jung-49/+21
2024-02-24Auto merge of #3318 - RalfJung:compiletest-rebuilds, r=oli-obkbors-10/+7
2024-02-24Auto merge of #3312 - RossSmyth:miri-clean, r=RalfJungbors-16/+84
2024-02-24compiletest: call cargo-miri directly rather than via 'cargo run'Ralf Jung-10/+7
2024-02-24Add "cargo miri clean" commandRoss Smyth-16/+84
2024-02-24Auto merge of #3316 - RossSmyth:windows-script, r=RalfJungbors-0/+10