Tom Dohrmann issues

Repositories
Issues
Comments

Results 22 issues of


                                            Tom Dohrmann

add support for deriving NoUninit on enums with fields

We check for padding like we do for structs except that we also consider the enum discriminant when calculating the unpadded size.

implement `Step` for `PhysAddr` and `PhysFrame`

This PR adds `Step` implementations for `PhysAddr` and `PhysFrame`. This PR also adds kani harnesses to prove the correctness of these new implementations and the unsafe code within them. Closes...