summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2023-02-24Use pointers to `c_char` instead of `i8` in `miri_host_to_target_path`LevitatingLion-2/+6
2023-02-21Avoid formatting dyn* test as rustftm doesn't understand it yet and just dele...Oli Scherer-0/+3
2023-02-21Merge from rustcRalf Jung-0/+117
2023-02-20fix Stacked Borrows interaction with dyn*Ralf Jung-2/+0
2023-02-20basic dyn* support for MiriRalf Jung-0/+119
2023-02-17Add tests for moving data across await pointBryan Garza-0/+81
2023-02-06also do not add noalias on not-Unpin BoxRalf Jung-10/+44
2023-02-06make &mut !Unpin not dereferenceableRalf Jung-0/+20
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 00:59:19 +0000