Skip to content

fix: Decouple arch-specific constants from PagingConstsTrait trait definitions, fix specifications, and prove axioms. - #532

Closed
rikosellic wants to merge 32 commits into
asterinas:mainfrom
rikosellic:paging-const
Closed

fix: Decouple arch-specific constants from PagingConstsTrait trait definitions, fix specifications, and prove axioms.#532
rikosellic wants to merge 32 commits into
asterinas:mainfrom
rikosellic:paging-const

prove: 10 `admit()`

9200dd2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jun 20, 2026 in 5m 56s