WIP: optimize `Subtree` internal representation #710

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

Jump to bottom

Closed

krushimir wants to merge 2 commits into next from krushimir-518-subtree-representation

Collaborator

krushimir commented Dec 12, 2025

Describe your changes

Replaced Map<u8, InnerNode> with [u64; 4] bitmask + Vec<Word>
Added Subtree::from_nodes() for bulk construction

Closes #518

Checklist before requesting a review

Repo forked and branch created from next according to naming convention.
Commit messages and codestyle follow conventions.
Relevant issues are linked in the PR description.
Tests added for new functionality.
Documentation/comments updated according to changes.

krushimir force-pushed the krushimir-518-subtree-representation branch from a7af246 to 8a36f99 Compare

December 12, 2025 16:20


          refactor(large-smt): use bitmask + Vec subtree representation

87bc95f

krushimir force-pushed the krushimir-518-subtree-representation branch from 8a36f99 to 87bc95f Compare

December 17, 2025 15:16


          benchmarks

ccf10bd

krushimir closed this

krushimir deleted the krushimir-518-subtree-representation branch

January 16, 2026 16:30

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet