Skip to content

Update of the specs for stdlib_sorting #3

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

Merged
merged 2 commits into from
May 30, 2021

Conversation

jvdp1
Copy link

@jvdp1 jvdp1 commented May 29, 2021

I quickly updated the specs for the added option reverse.
Note: I wonder if the algorithm ord_sort is still stable in reverse mode (see bold sentences in the specs)

Copy link
Owner

@wclodius2 wclodius2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes if you consistently reverse the direction of the comparisons then ORD_SORT is still a stable comparison. The two questions on the stability of the algorithm should be removed.

@jvdp1
Copy link
Author

jvdp1 commented May 30, 2021

Yes if you consistently reverse the direction of the comparisons then ORD_SORT is still a stable comparison. The two questions on the stability of the algorithm should be removed.

Thank you. I removed them with this commit

From my side, you can merge it if you are happy with the changes.

Copy link
Owner

@wclodius2 wclodius2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great.

Copy link
Owner

@wclodius2 wclodius2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great.

@wclodius2 wclodius2 merged commit 1c6e985 into wclodius2:sorting2 May 30, 2021
wclodius2 pushed a commit that referenced this pull request Jun 20, 2021
Add general tester against intrinsic array slice
wclodius2 pushed a commit that referenced this pull request Oct 19, 2021
renamed strings_format_string to string_format_string
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