| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-05-24 | Safe Transmute: Update definition of Condition type | Bryan Garza | -2/+2 | |
| - Change `Condition` to not contain `Answer`s but instead just contain other `Condition`s directly. - Also improve error reporting for `DstHasStricterAlignment` | ||||
| 2023-05-24 | Safe Transmute: Check mutability before creating dst -> src obligation | Bryan Garza | -2/+2 | |
| - Only create dst -> src obligation if Dst is mutable - Add some long comments to explain parts of the transmutability code that were unclear to me when reading - Update/add tests | ||||
| 2023-05-24 | Safe Transmute: Add alignment tests | Bryan Garza | -0/+76 | |
