about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-06-03Make WHERE_CLAUSES_OBJECT_SAFETY a regular object safety violationMichael Goulet-34/+0
2024-06-03Reformat `mir!` macro invocations to use braces.Nicholas Nethercote-18/+24
2024-05-31Auto merge of #124662 - zetanumbers:needs_async_drop, r=oli-obkbors-0/+5
2024-05-30explain what the open questions are, and add a Miri test for thatRalf Jung-0/+12
2024-05-29Auto merge of #125360 - RalfJung:packed-field-reorder, r=fmeasebors-2/+2
2024-05-29Revert miri async drop test but add warnings to each async drop testDaria Sukhonina-50/+34
2024-05-29Bless new async destructor sizes in async drop testsDaria Sukhonina-5/+5
2024-05-29Add size check inside of the async drop testsDaria Sukhonina-29/+50
2024-05-29Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin许杰友 Jieyou Xu (Joe)-37/+19
2024-05-28Add Miri smoke pass test for ptr_metadata intrinsicScott McMurray-1/+7
2024-05-28Add Miri tests for `PtrMetadata` UBScott McMurray-0/+142
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-37/+19
2024-05-27Rollup merge of #125616 - RalfJung:mir-validate-downcast-projection, r=compil...Matthias Krüger-1/+1
2024-05-27MIR validation: ensure that downcast projection is followed by field projectionRalf Jung-1/+1
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-493/+440
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-23/+29
2024-05-26Auto merge of #3631 - RalfJung:blocking-refactor, r=RalfJungbors-1043/+951
2024-05-26add a macro to declare thread unblock callbacksRalf Jung-249/+256
2024-05-26Auto merge of #3632 - RalfJung:readdir, r=RalfJungbors-35/+33
2024-05-26unix/fs: a bit of cleanup in macos_fbsd_readdir_rRalf Jung-35/+33
2024-05-26fix './miri run --dep --target _'Ralf Jung-1/+7
2024-05-26data_race: vector indices can be reused immediately when the thread is goneRalf Jung-82/+37
2024-05-26completely refactor how we manage blocking and unblocking threadsRalf Jung-895/+832
2024-05-26make release_clock always work on the current threadRalf Jung-106/+115
2024-05-25Merge from rustcThe Miri Cronjob Bot-1/+1
2024-05-25Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-05-24miri: receive the blessings of validate.rsJubilee Young-1/+1
2024-05-24Auto merge of #3626 - devnexen:pthread_name_illumos, r=oli-obkbors-5/+34
2024-05-24Auto merge of #3625 - Strophox:miri-allocation-fix, r=RalfJungbors-23/+24
2024-05-24extend commentsRalf Jung-2/+3
2024-05-24Auto merge of #3628 - RalfJung:tokio, r=RalfJungbors-1/+13
2024-05-24add back some tokio featuresRalf Jung-1/+13
2024-05-24fmtThe Miri Cronjob Bot-2/+7
2024-05-24Merge from rustcThe Miri Cronjob Bot-92/+90
2024-05-24Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-05-23solaris add suport for threadname.David Carlier-5/+34
2024-05-23differentiate between layout and alloc_layoutStrophox-10/+18
2024-05-23fix alloc_bytes (always allocate at least 1B)Strophox-23/+15
2024-05-23Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obkMatthias Krüger-2/+2
2024-05-23fmtThe Miri Cronjob Bot-4/+1
2024-05-23Merge from rustcThe Miri Cronjob Bot-345/+82
2024-05-23Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-90/+88
2024-05-22Rollup merge of #124896 - RalfJung:miri-intrinsic-fallback, r=oli-obkLeón Orell Valerian Liehr-18/+18
2024-05-22solaris/illumos localtime_r / clock_getime support enabled.David Carlier-29/+44
2024-05-22rustc: Use `tcx.used_crates(())` moreVadim Petrochenkov-2/+2
2024-05-22Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcmbors-327/+64
2024-05-22clippyRalf Jung-8/+10
2024-05-22Merge from rustcRalf Jung-20/+37
2024-05-22Preparing for merge from rustcRalf Jung-1/+1