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.

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

Fix equality views creation for linear integer decisions #150

Merged
merged 1 commit into from
Feb 17, 2025

Conversation

Dekker1
Copy link
Contributor

@Dekker1 Dekker1 commented Feb 17, 2025

This change adds the missing case where reversing the transformation on
the value checked for equality does not remain integer and it is thus
known that the decision cannot equal the value.

This change adds the missing case where reversing the transformation on
the value checked for equality does not remain integer and it is thus
known that the decision cannot equal the value.
Copy link

codecov bot commented Feb 17, 2025

Codecov Report

Attention: Patch coverage is 0% with 4 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
crates/huub/src/lib.rs 0.00% 4 Missing ⚠️
Files with missing lines Coverage Δ
crates/huub/src/lib.rs 51.48% <0.00%> (-0.19%) ⬇️

Copy link

codspeed-hq bot commented Feb 17, 2025

CodSpeed Performance Report

Merging #150 will not alter performance

Comparing Dekker1:fix/linear_eq_view (df49a74) with develop (6593981)

Summary

✅ 14 untouched benchmarks

@Dekker1 Dekker1 merged commit df49a74 into huub-solver:develop Feb 17, 2025
10 of 11 checks passed
@Dekker1 Dekker1 deleted the fix/linear_eq_view branch February 17, 2025 04:27
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.

1 participant