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

update host-float comments #3535

Merged
merged 1 commit into from
May 2, 2024
Merged

update host-float comments #3535

merged 1 commit into from
May 2, 2024

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented May 2, 2024

Turns out most of these do not have guaranteed precision anyway so it's fine to use host floats (see rust-lang/rust#121793 and rust-lang/rust#118217). The exception are sqrt and mul_add, tracked at #3534 and #2995.

@RalfJung
Copy link
Member Author

RalfJung commented May 2, 2024

@bors r+

@bors
Copy link
Contributor

bors commented May 2, 2024

📌 Commit 79a157a has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented May 2, 2024

⌛ Testing commit 79a157a with merge fe1424a...

@bors
Copy link
Contributor

bors commented May 2, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing fe1424a to master...

@bors bors merged commit fe1424a into rust-lang:master May 2, 2024
8 checks passed
@RalfJung RalfJung deleted the host-float branch May 3, 2024 05:45
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