Skip to content

Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span arithmetic - #157

Merged
zaoxing merged 9 commits into
mainfrom
specs/lease-allocator-ring-models
Sep 28, 2026
Merged

Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span arithmetic#157
zaoxing merged 9 commits into
mainfrom
specs/lease-allocator-ring-models

Check the four-wake claim at TTL 6, and fix four stale spec citations

157133b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar