about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2023-12-16Visit the AllocIds and BorTags in borrow state FrameExtraBen Kimock-0/+17
2023-12-15Auto merge of #3226 - saethlin:deadpool-test, r=RalfJungbors-0/+16
2023-12-15Add the test minimized from deadpoolBen Kimock-0/+16
2023-12-15Merge from rustcThe Miri Conjob Bot-0/+21
2023-12-14add test for uninhabited saved locals in a coroutineRalf Jung-0/+31
2023-12-13fix computing the dynamic alignment of packed structs with dyn trait tailsRalf Jung-0/+21
2023-12-12fmtThe Miri Conjob Bot-1/+0
2023-12-12Merge from rustcThe Miri Conjob Bot-6/+7
2023-12-11use Waker::noop instead of defining our own WakerRalf Jung-63/+17
2023-12-11Auto merge of #117758 - Urgau:lint_pointer_trait_comparisons, r=davidtwcobors-0/+2
2023-12-11Auto merge of #118032 - RalfJung:char-u32, r=Mark-Simulacrumbors-1/+5
2023-12-10remove redundant importssurechen-5/+0
2023-12-08Fix x86 SSE4.1 ptestnzcEduardo Sánchez Muñoz-0/+5
2023-12-06Adjust tests for newly added ambiguous_wide_pointer_comparisons lintUrgau-0/+2
2023-12-05fix miri_promise_symbolic_alignment for huge alignmentsRalf Jung-0/+12
2023-12-05fix typo in commentRalf Jung-1/+1
2023-12-05fmtThe Miri Conjob Bot-20/+24
2023-12-05Merge from rustcThe Miri Conjob Bot-2/+75
2023-12-04Rollup merge of #118540 - RalfJung:unsized-packed-offset, r=TaKO8KiTakayuki Maeda-0/+73
2023-12-04Merge from rustcThe Miri Conjob Bot-33/+19
2023-12-04Auto merge of #116915 - bend-n:unwet, r=saethlinbors-2/+2
2023-12-04use `assume(idx < self.len())` in `[T]::get_unchecked`bendn-2/+2
2023-12-03Auto merge of #117840 - RalfJung:miri-promise-align, r=cjgillotbors-30/+16
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-30/+16
2023-12-03SIMD bitmasks: use 'round up to multiple of 8' rather than 'clamp to at least 8'Ralf Jung-2/+0
2023-12-03disable a test that currently fails on big-endianRalf Jung-5/+9
2023-12-03also test directly calling simd_select_bitmaskRalf Jung-4/+39
2023-12-03also test simd_select_bitmask on arrays for less than 8 elementsRalf Jung-1/+6
2023-12-03Auto merge of #118567 - RalfJung:miri, r=RalfJungbors-2/+46
2023-12-03add simd_bswap and simd_bitreverseRalf Jung-0/+13
2023-12-03add simd_cttz and simd_ctlzRalf Jung-0/+5
2023-12-03simd_select_bitmask: support passing the mask as an arrayRalf Jung-0/+16
2023-12-03codegen, miri: fix computing the offset of an unsized field in a packed structRalf Jung-0/+73
2023-12-03Auto merge of #118487 - RalfJung:exposed-provenance, r=thomccbors-3/+3
2023-12-03Merge from rustcThe Miri Conjob Bot-8/+6
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-3/+3
2023-11-30give macOS some extra time, it needs thatRalf Jung-1/+1
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+7
2023-11-28Remove Stacked Borrows GC heuristicsBen Kimock-1/+4
2023-11-26Update std::simd usage and test outputsCaleb Zulawski-8/+6
2023-11-23Merge from rustcThe Miri Conjob Bot-5/+1
2023-11-22Stabilize RFC3324 dyn upcasting coercionUrgau-5/+1
2023-11-21Merge from rustcRalf Jung-8/+10
2023-11-20Implement all 16 AVX compare operatorsEduardo Sánchez Muñoz-0/+162
2023-11-20Test with -Zmiri-provenance-gc=1 on LinuxBen Kimock-1/+3
2023-11-19tag-gc -> provenance-gcBen Kimock-7/+7
2023-11-19Improve wording of `intrinsics-x86-*.rs` headerEduardo Sánchez Muñoz-4/+4
2023-11-18guarantee that char and u32 are ABI-compatibleRalf Jung-1/+5
2023-11-14Auto merge of #117330 - tmiasko:custom-mir-cleanup-blocks, r=cjgillotbors-1/+1
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-1/+1