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.

Sign up for GitHub

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

opt3: deduplicate_primitives #222

Merged

msm-cert merged 2 commits into master from perf/opt3

Oct 1, 2024

Member

msm-cert commented Oct 1, 2024

// This optimization gets rid of duplicated primitive queries.
// AND(a, a, a, a, b, b) == AND(a, b)
// This also applies to OR(), but it'll happen very rarely.

msm-code added 2 commits

October 1, 2024 14:55


opt3: deduplicate_primitives

2d3ff4b

fix

a0f6021

msm-cert merged commit 18a45d8 into master

5 checks passed

msm-cert deleted the perf/opt3 branch

October 1, 2024 13:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment