Code

optimize Step impl for VirtAddr#462

Code

Merged

Freax13 merged 5 commits intorust-osdev:masterrust-osdev/x86_64:masterfrom Freax13:enhancement/faster-address-fnsFreax13/x86_64:enhancement/faster-address-fnsCopy head branch name to clipboardFeb 29, 2024

+175-6

Commits

Commits on Feb 28, 2024

• simplify steps_between_impl

  Show description for 4d06b25
  Freax13

  committed
  4d06b25

  Copy full SHA for 4d06b25

• use new_unsafe in Step methods

  Show description for bdf9ee0
  Freax13

  committed
  bdf9ee0

  Copy full SHA for bdf9ee0

• add kani proofs for Step impl of VirtAddr

  Show description for 3cfb798
  Freax13

  committed
  3cfb798

  Copy full SHA for 3cfb798

• run kani proofs in CI

  Freax13

  committed
  f1cf34f

  Copy full SHA for f1cf34f

Commits on Feb 29, 2024

• assert that expected is a valid address

  Freax13

  committed
  0448ade

  Copy full SHA for 0448ade