summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2023-01-17add miri regression testThe 8472-0/+6
2023-01-11Stabilize `::{core,std}::pin::pin!`Daniel Henry-Mantilla-4/+0
2023-01-09add dtors_in_dtors_in_dtorsRalf Jung-0/+57
2023-01-09make env::current_exe work on WindowsRalf Jung-1/+0
2022-12-24fix warningsRalf Jung-1/+1
2022-12-24Merge from rustcRalf Jung-7/+25
2022-12-23fix one more unaligned self.ptr, and add testsRalf Jung-0/+14
2022-12-23fix IntoIter::drop on high-alignment ZSTRalf Jung-7/+11
2022-12-12Auto merge of #2725 - RalfJung:host-to-target-path, r=RalfJungbors-15/+30
2022-12-12make unix path handling on Windows hosts preserve absolutenessRalf Jung-5/+9
2022-12-12More host/target path conversion tests:Ralf Jung-1/+9
2022-12-12expose host-to-target path conversion to interpreted programRalf Jung-14/+17
2022-12-11add provenance-related testRalf Jung-0/+7
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-4/+4
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-6/+6
2022-12-03add test for self-referential futureRalf Jung-0/+102
2022-11-28add scoped thread testRalf Jung-0/+24
2022-11-26support no_std on WindowsRalf Jung-4/+0
2022-11-20make align_offset always work on no-provenance pointersRalf Jung-0/+6
2022-11-20fix unused warning in a testRalf Jung-1/+1
2022-11-18Delete miri testMichael Goulet-24/+0
2022-11-16Auto merge of #104456 - RalfJung:miri, r=RalfJungbors-0/+29
2022-11-15Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obkbors-0/+139
2022-11-13Auto merge of #2657 - mkroening:miri-alloc, r=RalfJungbors-0/+29
2022-11-13final tweaksRalf Jung-1/+1
2022-11-11Rollup merge of #104051 - RalfJung:miri, r=RalfJungManish Goregaokar-20/+350
2022-11-10Merge from rustcRalf Jung-1/+0
2022-11-09Rollup merge of #103570 - lukas-code:stabilize-ilog, r=scottmcmDylan DPC-1/+0
2022-11-07Add miri_alloc, miri_deallocMartin Kröning-0/+29
2022-11-06interpret: support for per-byte provenanceRalf Jung-0/+139
2022-11-05fix shared behavior and add testsDrMeepster-0/+287
2022-11-05impl condvars for windowsDrMeepster-18/+4
2022-11-03clarify no_data_race_after_complete testDrMeepster-2/+2
2022-10-30add acquire when init once is already completeDrMeepster-0/+38
2022-10-29Stacked Borrows: make scalar field retagging the defaultRalf Jung-2/+21
2022-10-28relative futex and condvar timeouts can work with isolationRalf Jung-0/+12
2022-10-28test most sync primitives on WindowsRalf Jung-5/+16
2022-10-28threadleak_ignored should now pass with preemption (the issue has been fixed ...Ralf Jung-2/+1
2022-10-28implement thread parking on WindowsRalf Jung-3/+0
2022-10-28update ignore-windows commentsRalf Jung-5/+4
2022-10-27Implement `ptr_mask` intrinsicMaybe Waffle-0/+18
2022-10-26stabilize `int_log`Lukas Markeffsky-1/+0
2022-10-25Rename, improve docs, fail betterBen Kimock-7/+25
2022-10-22add scalar-abi-only field retagging optionRalf Jung-0/+19
2022-10-21Auto merge of #2610 - RalfJung:issue-1909, r=RalfJungbors-0/+57
2022-10-21add test for #1909Ralf Jung-0/+57
2022-10-21test is_terminalRalf Jung-1/+13
2022-10-21split libc tests from stdlib testsRalf Jung-0/+416
2022-10-20Auto merge of #2601 - DrMeepster:windows_init_once, r=RalfJungbors-0/+144
2022-10-20add test for init onceDrMeepster-0/+144