This repository has been archived by the owner on Dec 7, 2023. It is now read-only.
DListLowInd v0.5
Pre-release
Pre-release
·
211 commits
to master
since this release
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.