about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2023-04-14Auto merge of #2843 - jsoref:spelling, r=RalfJungbors-15/+15
2023-04-14Fix spellingJosh Soref-15/+15
2023-04-14Merge from rustcRalf Jung-3/+0
2023-04-13Update to new ui_test crateOli Scherer-4/+4
2023-04-13Rollup merge of #110072 - joshtriplett:stabilize-is-terminal, r=Mark-SimulacrumMatthias Krüger-3/+0
2023-04-10Stabilize IsTerminalJosh Triplett-3/+0
2023-04-04Merge from rustcOli Scherer-1/+28
2023-03-31Auto merge of #98112 - saethlin:mir-alignment-checks, r=oli-obkbors-1/+1
2023-03-24miri: fix raw pointer dyn receiversRalf Jung-0/+27
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-1/+1
2023-03-19Update the virtual clock in isolation mode to step forward with around the sa...Oli Scherer-5/+23
2023-03-16TB: select tests to run both TB and SBNeven Villani-2/+111
2023-03-16TB: new testsNeven Villani-0/+502
2023-03-14Merge from rustcBen Kimock-71/+22
2023-03-12Remove uses of `box_syntax` in rustc and toolsclubby789-35/+14
2023-03-11Implement intrinsics for round_ties_evenBen Kimock-0/+30
2023-03-09replace legacy copyright annotations in submodulesPietro Albini-36/+8
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 21:21:40 +0000