-
Notifications
You must be signed in to change notification settings - Fork 13
- #451 · rikosellic opened
on May 13, 2026 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Track: verification design
model designModel or specification of system designModel or specification of system designStatus: Open.#580 In asterinas/vostd;Track: unsound tracked token manipulation
model designModel or specification of system designModel or specification of system designverification bugUnsoundness, verification panics, or unsupported featuresUnsoundness, verification panics, or unsupported featuresStatus: Open.#574 In asterinas/vostd;Track: unnecessary Verus retrofit
exec codeProofs about execution codeProofs about execution codeStatus: Open.#573 In asterinas/vostd;Soundness:
CastPtr::borrow_mutmodel designModel or specification of system designModel or specification of system designverification bugUnsoundness, verification panics, or unsupported featuresUnsoundness, verification panics, or unsupported featuresStatus: Open.#542 In asterinas/vostd;- Status: Open.#467 In asterinas/vostd;
- Status: Open.#451 In asterinas/vostd;
- Status: Open.#448 In asterinas/vostd;
- Status: Open.#347 In asterinas/vostd;
- Status: Open.#342 In asterinas/vostd;
Associated const
verus-toolchainNonbreaking change of toolchain, like using new features or version updateNonbreaking change of toolchain, like using new features or version updateStatus: Open.#317 In asterinas/vostd;