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

simplify division by trying to split the denominator #385

Merged
merged 2 commits into from
Apr 7, 2023

Conversation

SamirDroubi
Copy link
Collaborator

This should fix another simplification issue we have seen with division. Let's only merge it once we think about it a bit more.

@codecov-commenter
Copy link

codecov-commenter commented Apr 6, 2023

Codecov Report

Merging #385 (ad65262) into master (6e1c8b3) will increase coverage by 0.01%.
The diff coverage is 96.00%.

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@            Coverage Diff             @@
##           master     #385      +/-   ##
==========================================
+ Coverage   86.82%   86.84%   +0.01%     
==========================================
  Files          76       76              
  Lines       17228    17252      +24     
==========================================
+ Hits        14959    14982      +23     
- Misses       2269     2270       +1     
Impacted Files Coverage Δ
src/exo/LoopIR_scheduling.py 89.48% <95.45%> (+0.05%) ⬆️
tests/test_schedules.py 99.26% <100.00%> (+<0.01%) ⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@yamaguchi1024 yamaguchi1024 marked this pull request as ready for review April 7, 2023 15:15
@yamaguchi1024 yamaguchi1024 merged commit a06f0d2 into master Apr 7, 2023
@yamaguchi1024 yamaguchi1024 deleted the simplify_div_split_denom branch April 7, 2023 15:15
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.

None yet

3 participants