Home
Phabricator
Search
Configure Global Search
Log In
Please use
GitHub pull requests
for new patches.
Phabricator shutdown timeline
Transactions
D144718
Change Details
Change Details
Old
New
Diff
We can prove the scenario: FoundLHS > FoundRHS => LHS = (FoundLHS + Offset) > RHS = (FoundRHS + Offset) Or FoundLHS < FoundRHS => LHS = (FoundLHS + Offset) < RHS = (FoundRHS + Offset) This patch enhance isImpliedCondBalancedTypes with the formula.
We can prove the scenario: FoundLHS > FoundRHS => LHS = (FoundLHS + Offset) > RHS = (FoundRHS + Offset) Or FoundLHS < FoundRHS => LHS = (FoundLHS + Offset) < RHS = (FoundRHS + Offset) This patch enhance isImpliedCondBalancedTypes with the formula.
Continue