Skip to content

Use bv_spect/bv_arithmetict #1933

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
Closed
tautschnig opened this issue Mar 13, 2018 · 1 comment
Closed

Use bv_spect/bv_arithmetict #1933

tautschnig opened this issue Mar 13, 2018 · 1 comment
Labels
cleanup

Comments

@tautschnig
Copy link
Collaborator

In a discussion with @polgreen we just noticed that bv_spect could actually be used in several places that currently derive the maximum value for a particular typet by locally using power and testing for the signedness. bv_spect::max_value would take care of all this, if only it were actually used.
@tautschnig
Copy link
Collaborator Author

This was taken care of in 13a058c (#4352).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cleanup
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tautschnig