Skip to content

Conversation

@RalfJung
Copy link
Member

Also, the "in particular" transition to the signed zero handling was odd, so I rearranged things a bit: first a self-contained description of the semantics, then an explanation of which operations in other standards/libraries this most closely corresponds to.

r? @tgross35

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Nov 30, 2025
@tgross35
Copy link
Contributor

Looks great, thanks

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Nov 30, 2025

📌 Commit 3287178 has been approved by tgross35

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 30, 2025
bors added a commit that referenced this pull request Nov 30, 2025
Rollup of 3 pull requests

Successful merges:

 - #149236 (Clarify edge cases for Barrier::new)
 - #149444 (collapse `constness` query `match` logic)
 - #149475 (float::min/max: reference NaN bit pattern rules)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 1a9f527 into rust-lang:main Nov 30, 2025
11 checks passed
rust-timer added a commit that referenced this pull request Nov 30, 2025
Rollup merge of #149475 - RalfJung:min-max-nan, r=tgross35

float::min/max: reference NaN bit pattern rules

Also, the "in particular" transition to the signed zero handling was odd, so I rearranged things a bit: first a self-contained description of the semantics, then an explanation of which operations in other standards/libraries this most closely corresponds to.

r? `@tgross35`
@rustbot rustbot added this to the 1.93.0 milestone Nov 30, 2025
@RalfJung RalfJung deleted the min-max-nan branch December 1, 2025 17:46
github-actions bot pushed a commit to rust-lang/miri that referenced this pull request Dec 5, 2025
Rollup of 3 pull requests

Successful merges:

 - rust-lang/rust#149236 (Clarify edge cases for Barrier::new)
 - rust-lang/rust#149444 (collapse `constness` query `match` logic)
 - rust-lang/rust#149475 (float::min/max: reference NaN bit pattern rules)

r? `@ghost`
`@rustbot` modify labels: rollup
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Dec 5, 2025
float::maximum/minimum: make docs more streamlined

This does with `maximum`/`minimum` what rust-lang#149475 did with `max`/`min`: first a self-contained description of the semantics, then comparing with other operations. It also makes the wording consistent with those other functions. Previously we had some of the semantics below the examples for some reason, and we repeated "If one of the arguments is NaN, then NaN is returned"; that has been streamlined as well.

r? `@tgross35`
rust-timer added a commit that referenced this pull request Dec 5, 2025
Rollup merge of #149477 - RalfJung:minimum-maximum, r=tgross35

float::maximum/minimum: make docs more streamlined

This does with `maximum`/`minimum` what #149475 did with `max`/`min`: first a self-contained description of the semantics, then comparing with other operations. It also makes the wording consistent with those other functions. Previously we had some of the semantics below the examples for some reason, and we repeated "If one of the arguments is NaN, then NaN is returned"; that has been streamlined as well.

r? `@tgross35`
github-actions bot pushed a commit to rust-lang/miri that referenced this pull request Dec 6, 2025
float::maximum/minimum: make docs more streamlined

This does with `maximum`/`minimum` what rust-lang/rust#149475 did with `max`/`min`: first a self-contained description of the semantics, then comparing with other operations. It also makes the wording consistent with those other functions. Previously we had some of the semantics below the examples for some reason, and we repeated "If one of the arguments is NaN, then NaN is returned"; that has been streamlined as well.

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

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-libs Relevant to the library team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants