Skip to content
This repository has been archived by the owner on Dec 7, 2023. It is now read-only.

Releases: jaybosamiya/lowstar-dlist-trials

DListLowInd v0.5

17 May 22:14
@jaybosamiya jaybosamiya
dlistlowind-v0.5
feaab91
Compare
Choose a tag to compare
DListLowInd v0.5 Pre-release
Pre-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.

Loading