Skip to content

Round trip and pickling for arb and acb - #439

Merged
oscarbenjamin merged 4 commits into
flintlib:mainfrom
oscarbenjamin:pr_arb_roundtrip
Oct 25, 2026
Merged

oscarbenjamin merged 4 commits into
flintlib:mainfrom
oscarbenjamin:pr_arb_roundtrip

Conversation

@oscarbenjamin

Copy link
Copy Markdown
Collaborator

Fixes gh-438

@oscarbenjamin
oscarbenjamin merged commit 3333d2f into flintlib:main Oct 25, 2026
199 of 204 checks passed
@oscarbenjamin
oscarbenjamin deleted the pr_arb_roundtrip branch October 25, 2026 01:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

arb.repr() fails to roundtrip

1 participant