summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-07-19Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obkMatthias Krüger-6/+8
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-6/+8
2024-07-15Rollup merge of #124921 - RalfJung:offset-from-same-addr, r=oli-obkMatthias Krüger-3/+0
2024-07-15Make normalization regex less exactChris Denton-1/+1
2024-07-14Auto merge of #3745 - joboet:os_unfair_lock, r=RalfJungbors-7/+284
2024-07-14implement the `os_unfair_lock` functions on macOSjoboet-7/+284
2024-07-14add test for intermediate reference in '&(*x).0 as *const i32'Ralf Jung-0/+40
2024-07-10Auto merge of #3720 - safinaskar:read, r=RalfJungbors-1/+83
2024-07-09Fix libc::read shim: make it write to a buffer correct amount of bytes. Add t...Askar Safin-1/+83
2024-07-09Auto merge of #3739 - joboet:macos_tls_dtors, r=RalfJungbors-30/+87
2024-07-09Merge from rustcThe Miri Cronjob Bot-12/+120
2024-07-09Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-08implement support for multiple TLS destructors on macOSjoboet-30/+87
2024-07-08Rollup merge of #127355 - aceArt-GmbH:126475, r=oli-obkMatthias Krüger-8/+8
2024-07-08Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJungbors-4/+112
2024-07-07Fixup a typo in a comment in a testMaybe Lapkin-1/+1
2024-07-07Fix conflicts after rebaseMaybe Lapkin-2/+2
2024-07-07make `StackPop` field names less confusingMaybe Waffle-4/+4
2024-07-07add miri tests and a fixmeMaybe Waffle-0/+108
2024-07-07Stacked Borrows: fix PartialEq for StackRalf Jung-2/+10
2024-07-06offset_from intrinsic: always allow pointers to point to the same addressRalf Jung-3/+0
2024-07-06Auto merge of #3698 - folkertdev:sched-setaffinity, r=RalfJungbors-37/+507
2024-07-06Mark format! with must_use hintlukas-8/+8
2024-07-06`sched_setaffinity`: adjust test on BE systemsFolkert-2/+7
2024-07-06`sched_setaffinity`: test `cpusetsize == 0`Folkert-1/+22
2024-07-06lookup c_ulong instead of hard-coding the chunk sizeRalf Jung-57/+58
2024-07-06Merge from rustcThe Miri Cronjob Bot-0/+16
2024-07-06Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-05implement `libc::sched_getaffinity` and `libc::sched_setaffinity`Folkert-14/+457
2024-07-05Rollup merge of #127214 - bjorn3:miri_native_unwind, r=oli-obkGuillaume Gomez-0/+16
2024-07-05Merge from rustcThe Miri Cronjob Bot-2/+4
2024-07-05Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-2/+4
2024-07-04Auto merge of #3702 - Mandragorian:multiple_targets, r=RalfJungbors-11/+61
2024-07-04Add casting tests for `f16` and `f128`Trevor Gross-2/+68
2024-07-04Refactor float casting testsTrevor Gross-186/+390
2024-07-04Run tests for all specified targetsKonstantinos Andrikopoulos-11/+61
2024-07-04Auto merge of #3732 - JoJoDeveloping:tree-borrows-protector-end-write, r=Ralf...bors-36/+100
2024-07-04TB: protector end semantics never causes immediate UBJohannes Hostert-2/+5
2024-07-04Add UI test for protector end write semanticsJohannes Hostert-0/+62
2024-07-04TB: Make FnEntry access on protected locations be a write under certain circu...Johannes Hostert-36/+35
2024-07-04Merge from rustcThe Miri Cronjob Bot-10/+19
2024-07-04Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors-1/+1
2024-07-03Auto merge of #3726 - TDecking:vzero, r=RalfJungbors-0/+16
2024-07-03Implement the `_mm256_zeroupper` and `_mm256_zeroall` intrinsicsTobias Decking-0/+16
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-1/+1
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-2/+4
2024-07-02Auto merge of #3707 - adwinwhite:dup, r=RalfJungbors-8/+72
2024-07-02use let-else to avoid rightwards driftRalf Jung-24/+21