about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-12-05simd numeric intrinsics: share code with scalar intrinsicRalf Jung-12/+1
2023-12-05fix miri_promise_symbolic_alignment for huge alignmentsRalf Jung-3/+46
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-21/+89
2023-12-05Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-04Avoid adding compiler-used functions to `symbols.o`DianQK-0/+1
2023-12-04Rollup merge of #118540 - RalfJung:unsized-packed-offset, r=TaKO8KiTakayuki Maeda-0/+73
2023-12-04fix clippyRalf Jung-1/+2
2023-12-04fmtThe Miri Conjob Bot-10/+2
2023-12-04Merge from rustcThe Miri Conjob Bot-103/+206
2023-12-04Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-04Auto merge of #116915 - bend-n:unwet, r=saethlinbors-21/+16
2023-12-04use `assume(idx < self.len())` in `[T]::get_unchecked`bendn-21/+16
2023-12-03Auto merge of #117840 - RalfJung:miri-promise-align, r=cjgillotbors-96/+191
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-96/+191
2023-12-03SIMD bitmasks: use 'round up to multiple of 8' rather than 'clamp to at least 8'Ralf Jung-13/+16
2023-12-03Auto merge of #113730 - belovdv:jobserver-init-check, r=petrochenkovbors-0/+8
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-03handle the array case consistently for simd_select_bitmask and simd_bitmaskRalf Jung-43/+45
2023-12-03also test simd_select_bitmask on arrays for less than 8 elementsRalf Jung-1/+6
2023-12-03Fix miri script target dir and update doc linkJefffrey-3/+4
2023-12-03Auto merge of #118567 - RalfJung:miri, r=RalfJungbors-30/+105
2023-12-03Auto merge of #3204 - RalfJung:simd, r=RalfJungbors-5/+74
2023-12-03add simd_bswap and simd_bitreverseRalf Jung-0/+19
2023-12-03add simd_cttz and simd_ctlzRalf Jung-2/+27
2023-12-03simd_select_bitmask: support passing the mask as an arrayRalf Jung-3/+28
2023-12-03new trophy case entryRalf Jung-0/+1
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-7/+7
2023-12-03Merge from rustcThe Miri Conjob Bot-9/+7
2023-12-03Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-02Auto merge of #118077 - calebzulawski:sync-portable-simd-2023-11-19, r=workin...bors-9/+7
2023-12-02Merge from rustcRalf Jung-5/+5
2023-12-02Preparing for merge from rustcRalf Jung-1/+1
2023-12-02Rename `*note_without_error` as `*note`.Nicholas Nethercote-4/+4
2023-12-02Rename `Handler::span_note_diag` as `struct_span_note`.Nicholas Nethercote-1/+1
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-7/+7
2023-11-30give macOS some extra time, it needs thatRalf Jung-1/+1
2023-11-30move some validity-related tests into subdirRalf Jung-8/+8
2023-11-30move 'uninit' tests into common directoryRalf Jung-2/+4
2023-11-30Merge from rustcRalf Jung-26/+42
2023-11-30Preparing for merge from rustcRalf Jung-1/+1
2023-11-30Auto merge of #118408 - RalfJung:aggregate-assign-uninit, r=saethlinbors-0/+42
2023-11-29jobserver: check file descriptorsbelovdv-0/+8
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+9
2023-11-28Remove Stacked Borrows GC heuristicsBen Kimock-13/+7
2023-11-28add test checking that aggregate assignments reset memory to uninit firstRalf Jung-0/+42
2023-11-28Remove dead codesr0cky-26/+0