This repository has been archived by the owner on Dec 7, 2023. It is now read-only.
Releases: jaybosamiya/lowstar-dlist-trials
Releases · jaybosamiya/lowstar-dlist-trials
DListLowInd v0.5
All proofs for dll_insert_at_head and dll_insert_at_tail are done. Most of the plumbing for the other operations is ready.
https://github.com/jaybosamiya/lowstar-dlist-trials/projects/1 is tracking progress remaining for completing DListLowInd.