Skip to content

types: cleanup bitfields implementation#50

Merged
tcoratger merged 6 commits intoleanEthereum:mainfrom
tcoratger:bitfields-clean
Sep 12, 2025
Merged

types: cleanup bitfields implementation#50
tcoratger merged 6 commits intoleanEthereum:mainfrom
tcoratger:bitfields-clean

Conversation

@tcoratger
Copy link
Copy Markdown
Collaborator

No description provided.

@tcoratger tcoratger merged commit 69d39e7 into leanEthereum:main Sep 12, 2025
6 checks passed
@unnawut unnawut added the specs Scope: Changes to the specifications label Oct 28, 2025
@unnawut unnawut added this to the pq-devnet-0 milestone Nov 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

specs Scope: Changes to the specifications

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants