Skip to content

feat: BitVector to BitHeap conversion - #26

Merged
osmanyasar05 merged 16 commits into
mainfrom
bridge
Jul 27, 2026
Merged

feat: BitVector to BitHeap conversion#26
osmanyasar05 merged 16 commits into
mainfrom
bridge

Conversation

@osmanyasar05

Copy link
Copy Markdown
Collaborator

This PR introduces changes facilitating BitVector to BitHeap conversion.

Comment thread DatapathVerification/BitHeap/BitHeap.lean Outdated
Comment thread DatapathVerification/BitHeap/BitHeap.lean Outdated
Comment thread DatapathVerification/BitHeap/BVComb.lean Outdated
@osmanyasar05
osmanyasar05 merged commit 819c9ee into main Jul 27, 2026
2 checks passed
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.

2 participants