Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Implement Base.cmp #70

Merged
merged 1 commit into from
Oct 25, 2024
Merged

Implement Base.cmp #70

merged 1 commit into from
Oct 25, 2024

Conversation

barucden
Copy link
Collaborator

@barucden barucden commented Oct 16, 2024

This operation is useful for implementing :(==), :(<), and :(<=). The more efficient cmp is, the more efficient these comparisons are.

Needs #74 and #71 to be merged first.

Copy link

codecov bot commented Oct 16, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.10%. Comparing base (29a80b4) to head (b6259fc).
Report is 1 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master      #70      +/-   ##
==========================================
+ Coverage   98.03%   98.10%   +0.06%     
==========================================
  Files          10       10              
  Lines         204      211       +7     
==========================================
+ Hits          200      207       +7     
  Misses          4        4              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@barucden barucden force-pushed the cmp branch 3 times, most recently from 0a79235 to 91fff34 Compare October 21, 2024 06:37
@barucden barucden force-pushed the cmp branch 2 times, most recently from 7890160 to c2053e2 Compare October 25, 2024 19:45
This operation is useful for implementing `:(==)`, `:(<)`, and `:(<=)`.
The more efficient `cmp` is, the more efficient these comparisons are.
@barucden barucden merged commit 6eee6cd into JuliaMath:master Oct 25, 2024
7 checks passed
@barucden barucden deleted the cmp branch October 25, 2024 20:20
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant