about summary refs log tree commit diff
path: root/compiler/rustc_transmute/src/maybe_transmutable/tests.rs
AgeCommit message (Expand)AuthorLines
2025-06-09transmutability: shift abstraction boundaryJack Wrenn-21/+36
2025-04-30transmutability: merge contiguous runs with a common destinationTomasz Miąsko-1/+1
2025-04-29transmutability: uninit transition matches unit byte onlyTomasz Miąsko-9/+16
2025-04-25transmutability: Support char, NonZeroXxxJoshua Liebow-Feeser-6/+76
2025-04-23transmutability: Mark edges by ranges, not valuesJoshua Liebow-Feeser-4/+179
2025-04-20transmutability: remove NFA intermediate representationJack Wrenn-1/+30
2025-04-16transmutability: Refactor tests for simplicityJoshua Liebow-Feeser-66/+74
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-1/+0
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+4
2024-02-27safe transmute: revise safety analysisJack Wrenn-6/+59
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-5/+7
2023-05-24Safe Transmute: Change Answer type to ResultBryan Garza-6/+6
2023-04-13Improve safe transmute error reportingBryan Garza-3/+3
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-2/+2
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-0/+115