Skip to content

Replace persistent linked list impl with persistent stack #67

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
baierd wants to merge 16 commits into
base: main
Choose a base branch
from
Draft

Replace persistent linked list impl with persistent stack #67

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
e0776fc
Add interface PersistentStack for copy-efficient persistent stacks
baierd Sep 7, 2026
7623f26
Add an extended implementation of the PersistentStack present in CPAc…
baierd Sep 7, 2026
d6da366
Add the new persistent stack to PackageSanityTests
baierd Sep 7, 2026
504a2da
Add tests for PersistentLinkedStack
baierd Sep 7, 2026
401977f
Switch PersistentLinkedStack to using a AbstractIterator
baierd Sep 19, 2026
83f0163
Shorten PersistentStack interface documentation
baierd Sep 19, 2026
ca7f6dd
Remove iterable from PersistentStack, and add methods asTopDownIterab…
baierd Sep 19, 2026
047438e
Make equals and hashcode of PersistentLinkedStack work on all Persist…
baierd Sep 19, 2026
79da4f5
Refactor and simplify PersistentLinkedStack toString using a Joiner
baierd Sep 19, 2026
c427fa1
Add PersistentStack equals and hashCode JavaDoc
baierd Sep 19, 2026
2f4f650
Refactor PersistentLinkedStack with of() method for more than 2 argum…
baierd Sep 19, 2026
98f9a57
Format PersistentStack
baierd Sep 19, 2026
7a1918c
Add method takeBottom(int) that allows to take n elements from the bo…
baierd Sep 19, 2026
4d8056a
Improve readResolve() in PersistentLinkedStack
baierd Sep 19, 2026
8cac22c
Format PersistentLinkedStack
baierd Sep 19, 2026
5e8a49a
Refactor PersistentLinkedList as a delegate of PersistentLinkedStack
baierd Sep 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions src/org/sosy_lab/common/collect/PackageSanityTest.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,8 @@ public class PackageSanityTest extends AbstractPackageSanityTests {
{
setDistinctValues(
PersistentLinkedList.class, PersistentLinkedList.of(), PersistentLinkedList.of("test"));
setDistinctValues(
PersistentLinkedStack.class, PersistentLinkedStack.of(), PersistentLinkedStack.of("test"));
@SuppressWarnings("unchecked")
OurSortedMap<String, String> singletonMap =
(PathCopyingPersistentTreeMap<String, String>)
Expand Down
Loading