Skip to content
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.

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

hashlib: merge hash_ops with hash_top_ops for plugin compat #4849

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

widlarizer
Copy link
Collaborator

When writing #4524 I made it so that a type can have an implementation for how to hash a single instance (hash_top_ops) distinct from one for how to hash an instance in the context of an on-going context (hash_ops). This PR implements @povik's idea to merge them together so that plugin code can still explicitly pass hash_ptr_ops into associative data structures like dict.

  • adjust docs/source/yosys_internals/hashing.rst to match

@widlarizer widlarizer requested a review from povik January 14, 2025 20:46
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.

1 participant