| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -1/+1 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 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 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |