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

BitVectors (which contain their scope in the sort) within the ScopeMap? #121

Open

nancyday opened this issue Jul 15, 2024 · 0 comments

Assignees

Labels

discuss

Member

nancyday commented Jul 15, 2024

BitVector(n) MUST be mapped to a scope of 2^n (should be checked somewhere)
should these be of fixed scope? (IntToBVTransformer does not currently make them fixed)
how should it be handled in any transformer that considers the scopes (QuantifierExpansion, TransitiveClosure, MaxUnboundedScopes, etc)

nancyday added the discuss label

nancyday assigned nancyday, otzzila and ryandancy

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