x86_64 icon indicating copy to clipboard operation
x86_64 copied to clipboard
verified publisher icon rust-osdev

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

Open Freax13 opened this issue 1 month ago • 1 comments

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 #212

Freax13 avatar Nov 15 '25 08:11 Freax13