about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2023-05-08port tests to 2021 editionRalf Jung-14/+65
2023-05-06Simplify Tree Borrows event filtering by getting the Range from RangeMapNeven Villani-0/+6
2023-05-05Stabilize const_ptr_readbors-1/+0
2023-05-05Merge from rustcRalf Jung-0/+56
2023-05-02Avoid ICEing miri on layout query cyclesOli Scherer-0/+56
2023-05-02Avoid interpreting code that has lint errorsOli Scherer-0/+20
2023-05-01Auto merge of #111010 - scottmcm:mem-replace-simpler, r=WaffleLapkinbors-3/+3
2023-04-30Update MIRI compiletestsScott McMurray-3/+3
2023-04-29blessRalf Jung-2/+2
2023-04-28tweak wordingRalf Jung-68/+71
2023-04-28Tree Borrows: improved diagnosticsNeven Villani-31/+283
2023-04-24Hide backtrace from stderr filesOli Scherer-62/+2
2023-04-24Update miri test.Mara Bos-26/+28
2023-04-24Merge from rustcRalf Jung-0/+28
2023-04-22Auto merge of #104844 - cjgillot:mention-eval-place, r=jackh726,RalfJungbors-0/+28
2023-04-22Merge from rustcRalf Jung-0/+20
2023-04-21Actually keep `PlaceMention` if requested.Camille GILLOT-3/+5
2023-04-21Evaluate place expression in `PlaceMention`.Camille GILLOT-0/+26
2023-04-21Bless miri.Camille GILLOT-0/+20
2023-04-17Merge from rustcOli Scherer-18/+69
2023-04-16Add a flag to disable leak backtracesBen Kimock-0/+17
2023-04-16Report a backtrace for memory leaks under MiriBen Kimock-21/+55
2023-04-14Fix spellingJosh Soref-6/+6
2023-04-13Update to new ui_test crateOli Scherer-4/+1
2023-04-11filter out notesDebugSteven-53/+1
2023-04-11throw unsupported for epoll_waitDebugSteven-0/+81
2023-04-10rustupBen Kimock-1/+3
2023-04-06Add miri tests for terminate terminatorGary Guo-4/+58
2023-04-06Bless testsGary Guo-9/+9
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-10/+13
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-5/+7
2023-03-16TB: select tests to run both TB and SBNeven Villani-1/+1
2023-03-16TB: new testsNeven Villani-0/+386
2023-03-12Remove uses of `box_syntax` in rustc and toolsclubby789-3/+1
2023-02-21Merge from rustcRalf Jung-5/+5
2023-02-20basic dyn* support for MiriRalf Jung-5/+5
2023-02-07Merge from rustcRalf Jung-54/+0
2023-02-06make &mut !Unpin not dereferenceableRalf Jung-54/+0
2023-02-01fmtRalf Jung-1/+1
2023-01-31make unaligned_reference a hard errorRalf Jung-5/+12
2023-01-02tweaks to retag diagnostic handlingRalf Jung-4/+4
2022-12-28handle unknown targets more gracefullyRalf Jung-11/+15
2022-12-24fix warningsRalf Jung-2/+2
2022-12-24Merge from rustcRalf Jung-1/+147
2022-12-23Mention and number the components of a race in the order the interpreter sees...Ben Kimock-105/+105
2022-12-23attempt to clarify what the backtrace belongs to when there could be ambiguityRalf Jung-89/+89
2022-12-22Add a (1) and (2) to the data race errorsBen Kimock-110/+110
2022-12-22Auto merge of #103957 - JakobDegen:drop-retag, r=RalfJungbors-0/+146
2022-12-21Fix phrasingBen Kimock-27/+27
2022-12-21Clean up implementation, deduplicate in errorsBen Kimock-226/+81
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 14:38:47 +0000