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

Normalize negative zero #386

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Normalize negative zero #386

wants to merge 1 commit into from

Conversation

inexorabletash
Copy link
Member

@inexorabletash inexorabletash commented Jun 11, 2022 •
edited by pr-preview bot
Loading

Closes #375

The following tasks have been completed:

Implementation commitment:

Preview | Diff

@inexorabletash inexorabletash mentioned this pull request Jun 11, 2022
Open
@inexorabletash inexorabletash mentioned this pull request Aug 5, 2022
Closed
@inexorabletash inexorabletash force-pushed the neg0 branch 2 times, most recently from b09df40 to 2e84825 Compare March 3, 2023 23:15
@inexorabletash inexorabletash force-pushed the neg0 branch 2 times, most recently from 03c2492 to 4b1bf0f Compare April 13, 2023 23:06
@inexorabletash inexorabletash added the TPAC2024 Topic for discussion at TPAC 2024 label Jul 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
TPAC2024 Topic for discussion at TPAC 2024
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Clarify the handling of +0 and -0 in keys
1 participant
@inexorabletash