Skip to content

[ty] Remove source_order fields from constraint sets; go back to fully reduced BDDs #22578

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

Draft
dcreager wants to merge 7 commits into
base: dcreager/add-support
Choose a base branch
from

don't include unsatisfiable constraints in support

d9c9e16
Select commit
Loading
Failed to load commit list.
Draft

[ty] Remove source_order fields from constraint sets; go back to fully reduced BDDs #22578

don't include unsatisfiable constraints in support
d9c9e16
Select commit
Loading
Failed to load commit list.
CodSpeed HQ / CodSpeed Performance Analysis succeeded Mar 5, 2026 in 0s

Performance Gate Passed

✅ 26 untouched benchmarks
⏩ 30 skipped benchmarks1

Comparing dcreager/support (d9c9e16) with dcreager/add-support (df5302e)2

Open in CodSpeed

Footnotes

  1. 30 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

  2. No successful run was found on dcreager/add-support (2b07c2c) during the generation of this report, so c63f80c was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

View more details on CodSpeed HQ