about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2024-03-02add option to track all read/write accesses to tracked allocationsRalf Jung-0/+3
2024-03-02print thread name in miri error backtracesRalf Jung-155/+184
2024-02-29add regression testRalf Jung-0/+25
2024-02-27Merge from rustcThe Miri Conjob Bot-63/+35
2024-02-27Auto merge of #121655 - matthiaskrgr:rollup-qpx3kks, r=matthiaskrgrbors-14/+14
2024-02-27Rollup merge of #121598 - RalfJung:catch_unwind, r=oli-obkMatthias Krüger-14/+14
2024-02-26Auto merge of #121516 - RalfJung:platform-intrinsics-begone, r=oli-obkbors-49/+21
2024-02-26miri: rename miri_start_panic → miri_start_unwindRalf Jung-11/+11
2024-02-26rename 'try' intrinsic to 'catch_unwind'Ralf Jung-3/+3
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-25more dealing with macOS being slowRalf Jung-1/+1
2024-02-25Merge from rustcRalf Jung-15/+37
2024-02-25Auto merge of #121579 - RalfJung:miri, r=RalfJungbors-31/+114
2024-02-25fix use of platform_intrinsics in testsRalf Jung-49/+21
2024-02-24compiletest: call cargo-miri directly rather than via 'cargo run'Ralf Jung-10/+7
2024-02-24Rollup merge of #121522 - RalfJung:insert-extract-boundscheck, r=oli-obkMatthias Krüger-0/+23
2024-02-23interpret: do no ICE on OOB shuffle/insert/extract indicesRalf Jung-0/+23
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-24/+24
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-18Dyn erase at call siteDavid Thomas-2/+2
2024-02-18Reduce monomorphisation bloat in small_c_stringDavid Thomas-0/+1
2024-02-18fmtThe Miri Conjob Bot-2/+1
2024-02-18Merge from rustcThe Miri Conjob Bot-1/+6
2024-02-18Improve wording of static_mut_refObei Sideg-6/+6
2024-02-17add direct test of pthread_condRalf Jung-4/+52
2024-02-17Auto merge of #121232 - RalfJung:miri, r=RalfJungbors-38/+1455
2024-02-17Merge from rustcThe Miri Conjob Bot-1/+1
2024-02-17Enable `ConstPropLint` for promotedsGurinder Singh-1/+6
2024-02-16Implement x86 AVX intrinsicsEduardo Sánchez Muñoz-0/+1269
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-1/+1
2024-02-14remove no-longer needed rustfmt::skipRalf Jung-1/+0
2024-02-13Prevent rustfmt from messing up experimental syntaxOli Scherer-0/+1
2024-02-13Merge from rustcThe Miri Conjob Bot-0/+45
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-13/+143
2024-02-12comment tweaksRalf Jung-8/+7
2024-02-12Merge from rustcRalf Jung-0/+51
2024-02-11Fix async closures in CTFEMichael Goulet-0/+43
2024-02-11Auto merge of #3295 - RalfJung:imported_main, r=RalfJungbors-0/+9
2024-02-11add tests for imported_mainRalf Jung-0/+9