about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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-26Add shim for GetSystemTimePreciseAsFileTimeChris Denton-4/+5
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
2024-02-24Windows miri-script execution egronomicsRoss Smyth-0/+10
2024-02-24Rollup merge of #121522 - RalfJung:insert-extract-boundscheck, r=oli-obkMatthias Krüger-6/+27
2024-02-23Auto merge of #3314 - RalfJung:up, r=RalfJungbors-272/+248
2024-02-23cargo updateRalf Jung-272/+248
2024-02-23interpret: do no ICE on OOB shuffle/insert/extract indicesRalf Jung-6/+27
2024-02-23Get rid of some `#[allow(static_mut_refs)]`Pavel Grigorenko-15/+14
2024-02-22fmtThe Miri Conjob Bot-3/+5
2024-02-22Merge from rustcThe Miri Conjob Bot-25/+25
2024-02-22Preparing for merge from rustcThe Miri Conjob Bot-1/+1