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.

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

be more specific about the underlying IEEE-754 operation in numeric operation algorithm steps #1988

Open
michaelficarra opened this issue May 10, 2020 · 2 comments
Open

be more specific about the underlying IEEE-754 operation in numeric operation algorithm steps #1988

michaelficarra opened this issue May 10, 2020 · 2 comments

Comments

@michaelficarra
Copy link
Member

For context, see #1974 (comment).
@michaelficarra michaelficarra mentioned this issue May 10, 2020
Merged
@bakkot
Copy link
Contributor

bakkot commented Feb 4, 2021

@michaelficarra #2189 would resolve this, yes?

@michaelficarra
Copy link
Member Author

@bakkot I don't think it changes the situation. I think we still need to do an audit to see where we do and don't think it's appropriate to mention 754.

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

No branches or pull requests
2 participants
@michaelficarra @bakkot