about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
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
2024-02-22Auto merge of #121415 - matthiaskrgr:rollup-o9zzet4, r=matthiaskrgrbors-1/+1
2024-02-22Inline and remove `Session::compile_status`.Nicholas Nethercote-1/+1
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-24/+24
2024-02-21Test windows random shimsChris Denton-0/+41
2024-02-19Auto merge of #3307 - RalfJung:macos-unreliable, r=RalfJungbors-3/+3
2024-02-19tests/pass/concurrency/sync: try to make it less likely for the test to fail ...Ralf Jung-3/+3
2024-02-19enable from_bitmask_vector test on little-endian targetsRalf Jung-9/+5
2024-02-19Merge from rustcThe Miri Conjob Bot-8/+9
2024-02-19Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-18Dyn erase at call siteDavid Thomas-2/+2
2024-02-18Reduce monomorphisation bloat in small_c_stringDavid Thomas-0/+1
2024-02-18Auto merge of #121034 - obeis:improve-static-mut-ref, r=RalfJungbors-6/+6
2024-02-18fmtThe Miri Conjob Bot-2/+1
2024-02-18Merge from rustcThe Miri Conjob Bot-2/+7
2024-02-18Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-18Improve wording of static_mut_refObei Sideg-6/+6
2024-02-17Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercoteMatthias Krüger-1/+1
2024-02-17add direct test of pthread_condRalf Jung-4/+52
2024-02-17Auto merge of #121232 - RalfJung:miri, r=RalfJungbors-263/+2116
2024-02-17Merge from rustcThe Miri Conjob Bot-21/+21
2024-02-17Enable `ConstPropLint` for promotedsGurinder Singh-1/+6
2024-02-17Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-16Implement x86 AVX intrinsicsEduardo Sánchez Muñoz-50/+1844
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-1/+1
2024-02-16Auto merge of #120486 - reitermarkus:use-generic-nonzero, r=dtolnaybors-20/+20
2024-02-16fmtThe Miri Conjob Bot-28/+7
2024-02-16Merge from rustcThe Miri Conjob Bot-9/+2
2024-02-16Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-15errors: only eagerly translate subdiagnosticsDavid Wood-1/+1
2024-02-15Split a bool argument into two named functionsOli Scherer-9/+2
2024-02-15Replace `NonZero::<_>::new` with `NonZero::new`.Markus Reiter-6/+6
2024-02-15Use generic `NonZero` internally.Markus Reiter-20/+20
2024-02-14remove no-longer needed rustfmt::skipRalf Jung-1/+0
2024-02-14Preparing for merge from rustcRalf Jung-1/+1
2024-02-13Prevent rustfmt from messing up experimental syntaxOli Scherer-0/+1
2024-02-13Merge from rustcThe Miri Conjob Bot-0/+45
2024-02-13Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-12Rollup merge of #120950 - compiler-errors:miri-async-closurs, r=RalfJung,oli-obkMatthias Krüger-0/+43
2024-02-12Allow invalid ref casting in Miri unaligned_ref_addr_of testUrgau-0/+2
2024-02-12Support safe intrinsics with fallback bodiesOli Scherer-1/+1
2024-02-12also test pthread_mutex/rwlock directlyRalf Jung-21/+146