| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-14 | update use of feature flags | lcnr | -4/+4 | |
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -5/+5 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-05-24 | Safe Transmute: Check mutability before creating dst -> src obligation | Bryan Garza | -8/+40 | |
| - 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-04-13 | Improve safe transmute error reporting | Bryan Garza | -354/+236 | |
| This patch updates the error reporting when Safe Transmute is not possible between 2 types by including the reason. Also, fix some small bugs that occur when computing the `Answer` for transmutability. | ||||
| 2023-04-10 | tests | Michael Goulet | -119/+1086 | |
| 2023-02-21 | Specify what 'this' actually is | Michael Goulet | -59/+59 | |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+1141 | |
