Skip to content
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.

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

Test incremental hash #1

Closed
wants to merge 2 commits into from
Closed

Test incremental hash #1

wants to merge 2 commits into from

Conversation

msmouse
Copy link
Owner

@msmouse msmouse commented Jun 22, 2024

replace SMT+JMT with LayeredMap + IncHash

@msmouse msmouse changed the title temp Test incremental hash Jun 24, 2024
@msmouse msmouse force-pushed the 0522_alden_inc_hash branch 3 times, most recently from 414193a to e22f336 Compare June 28, 2024 17:45
Basically, no longer supports "deletion" from LayeredMap.
One can express deletion by explicitly using an MapLayer<K, Option<V>> (tombstone).
Copy link

This issue is stale because it has been open 45 days with no activity. Remove the stale label, comment or push a commit - otherwise this will be closed in 15 days.

@github-actions github-actions bot added the Stale label Aug 26, 2024
@github-actions github-actions bot closed this Sep 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant