Skip to content

[query] Fix FilterIntervals simplify rule - #12179

Merged
danking merged 1 commit into
hail-is:mainfrom
tpoterba:fix-filter-intervals
Sep 14, 2022
Merged

[query] Fix FilterIntervals simplify rule#12179
danking merged 1 commit into
hail-is:mainfrom
tpoterba:fix-filter-intervals

Conversation

@tpoterba

Copy link
Copy Markdown
Contributor

We do not guarantee that the intervals are ordered and appropriately unioned on the node.

CHANGELOG: Fix incorrect composition of interval filters with unordered interval lists that could lead to over- or under-filtering

We do not guarantee that the intervals are ordered and appropriately unioned on the node.

CHANGELOG: Fix incorrect composition of interval filters with unordered interval lists that could lead to over- or under-filtering
@tpoterba tpoterba added the prio:high CI tests and merges this PR first label Sep 14, 2022
@danking
danking merged commit 3f28e8e into hail-is:main Sep 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

prio:high CI tests and merges this PR first

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants