Skip to content
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.

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

[WIP] initial fixpoint iteration #14029

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

[WIP] initial fixpoint iteration #14029

wants to merge 1 commit into from

Conversation

carljm
Copy link
Contributor

@carljm carljm commented Nov 1, 2024

Pulls in a Salsa version that supports fixpoint iteration, for experimentation.

@carljm carljm added the red-knot Multi-file analysis & type inference label Nov 1, 2024
Copy link

codspeed-hq bot commented Nov 1, 2024

CodSpeed Performance Report

Merging #14029 will degrade performances by 65.26%

Comparing cjm/fixpoint (8da1ec2) with main (b8acadd)

Summary

❌ 1 regressions
✅ 31 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

Benchmark main cjm/fixpoint Change
red_knot_check_file[incremental] 4.6 ms 13.3 ms -65.26%

Copy link
Contributor

github-actions bot commented Nov 1, 2024

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

Formatter (stable)

✅ ecosystem check detected no format changes.

Formatter (preview)

✅ ecosystem check detected no format changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
red-knot Multi-file analysis & type inference
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant