8000 Foundations for non-linear solver and polymorphic application by ilevkivskyi · Pull Request #15287 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Foundations for non-linear solver and polymorphic application #15287

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

Merged
merged 19 commits into from
Jun 18, 2023
Merged

Foundations for non-linear solver and polymorphic application #15287

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
08a8815
Start working on generic stuff
ilevkivskyi May 17, 2023
eb3a1e1
Make some progress
ilevkivskyi May 19, 2023
52209c9
Add/reorganize tests
ilevkivskyi May 22, 2023
a64183d
Solve in topological order
ilevkivskyi May 22, 2023
9191761
Delete tests that are not going to be supported
ilevkivskyi May 22, 2023
ba0f252
Support type aliases; more tests
ilevkivskyi May 22, 2023
8eb04a9
Support callback protocols; more tests
ilevkivskyi May 22, 2023
ec8b695
Add some docstring/comments
ilevkivskyi May 22, 2023
d5eb5fa
Merge remote-tracking branch 'upstream/master' into fix-generic-infer…
ilevkivskyi May 22, 2023
4c41c67
Some tweaks
ilevkivskyi May 22, 2023
163720c
Minor fixes
ilevkivskyi May 26, 2023
0bc41b0
Fix bugs
ilevkivskyi Jun 5, 2023
fefe27e
Make free variable choice stable
ilevkivskyi Jun 5, 2023
4aca3ba
Special-case a corner case
ilevkivskyi Jun 5, 2023
42cc4cf
Make self-type special-casing wider
ilevkivskyi Jun 6, 2023
d0a3d0d
Merge remote-tracking branch 'upstream/master' into fix-generic-infer…
ilevkivskyi Jun 6, 2023
47db859
Temporary flag to hide new inference
ilevkivskyi Jun 8, 2023
96d0f39
Merge remote-tracking branch 'upstream/master' into fix-generic-infer…
ilevkivskyi Jun 18, 2023
66b4567
Address CR
ilevkivskyi Jun 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'upstream/master' into fix-generic-infer… 
…ence
  • Loading branch information
@ilevkivskyi
ilevkivskyi committed Jun 6, 2023
commit d0a3d0d6063e90a7c706207ef5b0ffb3d04ebca9

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.
0