This is an automated email from the ASF dual-hosted git repository.
julianhyde pushed a change to branch main
in repository https://gitbox.apache.org/repos/asf/calcite.git
from 1f335c2d07 [CALCITE-7804] Upgrade Calcite to Avatica 1.29.0
add 03be7710ca [CALCITE-7811] RexImplicationChecker incorrectly proves
NOT(x = a) implies (x = a OR x = b)
No new revisions were added by this update.
Summary of changes:
.../apache/calcite/plan/RexImplicationChecker.java | 24 ++++++++++--
.../calcite/test/RexImplicationCheckerTest.java | 45 ++++++++++++++++++++++
.../test/RexImplicationCheckerFixtures.java | 4 ++
3 files changed, 70 insertions(+), 3 deletions(-)
