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
JDK-8285977: Add links to IEEE 754 specification #8511
Conversation
|
I endorse the use of a URL with a host-name like standards.ieee.org
@jddarcy This change now passes all automated pre-integration checks. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 21 new commits pushed to the
As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details.
|
Webrevs
|
What about the DOI URL? Probably even more stable. |
Mailing list message from Rony G. Flatscher on core-libs-dev: On 03.05.2022 10:28, Raffaello Giulietti wrote: Maybe informal links to the resources made available via the web by the IEEE 754 editor, Mike F. Cowlishaw, could be helpful: - <http://speleotrove.com/decimal/> ---rony |
Mailing list message from Joe Darcy on core-libs-dev: Hello, While informative, I think some kind of official link to the IEEE 754 -Joe On 5/3/2022 2:59 AM, Rony G. Flatscher wrote:
|
Hmm. I'd rather use the IEEE URL for now; if that turns out to problematic, we can switch to the DOI one. |
The DOI URL currently brings you to exactly the same IEEExplore page. |
/integrate |
Going to push as commit 3cbf769.
Your commit was automatically rebased without conflicts. |
Please review the addition of @-see links from classes that mention the IEEE 754 floating-point standard to an IEEE page about the standard. The URL in the initial version of the PR is the top search result on the IEEE home page for "754 standard".
Another candidate page to use is
https://ieeexplore.ieee.org/servlet/opac?punumber=8766227
which is (apparently) a stable citation page for the standard.
These links may be upgraded to the the forthcoming @-spec facility in the future. ( JDK-6251738).
Progress
Issue
Reviewers
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.java.net/jdk pull/8511/head:pull/8511
$ git checkout pull/8511
Update a local copy of the PR:
$ git checkout pull/8511
$ git pull https://git.openjdk.java.net/jdk pull/8511/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 8511
View PR using the GUI difftool:
$ git pr show -t 8511
Using diff file
Download this PR as a diff file:
https://git.openjdk.java.net/jdk/pull/8511.diff