feat: add `PartialSmt::from/to_parts` to allow for serialization impl #698

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

Draft

drahnr wants to merge 1 commit into next from bernhard-partial-smt-from-to-parts

+161 −0

Contributor

drahnr commented Dec 8, 2025

Describe your changes

Adds PartialSmt::from_parts and PartialSmt::to_parts

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.


          from to parts

34ced2a

drahnr force-pushed the bernhard-partial-smt-from-to-parts branch from ed9e52e to 34ced2a Compare

December 8, 2025 20:58

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

Labels

None yet