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.

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

Jump to bottom

Foundations for non-linear solver and polymorphic application #15287

Merged
merged 19 commits into from
Jun 18, 2023
Merged

Foundations for non-linear solver and polymorphic application #15287

merged 19 commits into from
Jun 18, 2023

Commits on May 17, 2023

  1. Start working on generic stuff

    @ilevkivskyi
    ilevkivskyi committed May 17, 2023
    Configuration menu
    Copy the full SHA
    08a8815 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2023

  1. Make some progress

    @ilevkivskyi
    ilevkivskyi committed May 19, 2023
    Configuration menu
    Copy the full SHA
    eb3a1e1 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2023

  1. Add/reorganize tests

    @ilevkivskyi
    ilevkivskyi committed May 22, 2023
    Configuration menu
    Copy the full SHA
    52209c9 View commit details
    Browse the repository at this point in the history

  2. Solve in topological order

    @ilevkivskyi
    ilevkivskyi committed May 22, 2023
    Configuration menu
    Copy the full SHA
    a64183d View commit details
    Browse the repository at this point in the history

  3. Delete tests that are not going to be supported

    @ilevkivskyi
    ilevkivskyi committed May 22, 2023
    Configuration menu
    Copy the full SHA
    9191761 View commit details
    Browse the repository at this point in the history

  4. Support type aliases; more tests

    @ilevkivskyi
    ilevkivskyi committed May 22, 2023
    Configuration menu
    Copy the full SHA
    ba0f252 View commit details
    Browse the repository at this point in the history

  5. Support callback protocols; more tests

    @ilevkivskyi
    ilevkivskyi committed May 22, 2023
    Configuration menu
    Copy the full SHA
    8eb04a9 View commit details
    Browse the repository at this point in the history

  6. Add some docstring/comments

    @ilevkivskyi
    ilevkivskyi committed May 22, 2023
    Configuration menu
    Copy the full SHA
    ec8b695 View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'upstream/master' into fix-generic-infer… 

    …ence
    @ilevkivskyi
    ilevkivskyi committed May 22, 2023
    Configuration menu
    Copy the full SHA
    d5eb5fa View commit details
    Browse the repository at this point in the history

  8. Some tweaks

    @ilevkivskyi
    ilevkivskyi committed May 22, 2023
    Configuration menu
    Copy the full SHA
    4c41c67 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2023

  1. Minor fixes

    @ilevkivskyi
    ilevkivskyi committed May 26, 2023
    Configuration menu
    Copy the full SHA
    163720c View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2023

  1. Fix bugs

    @ilevkivskyi
    ilevkivskyi committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    0bc41b0 View commit details
    Browse the repository at this point in the history

  2. Make free variable choice stable

    @ilevkivskyi
    ilevkivskyi committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    fefe27e View commit details
    Browse the repository at this point in the history

  3. Special-case a corner case

    @ilevkivskyi
    ilevkivskyi committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    4aca3ba View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2023

  1. Make self-type special-casing wider

    @ilevkivskyi
    ilevkivskyi committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    42cc4cf View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into fix-generic-infer… 

    …ence
    @ilevkivskyi
    ilevkivskyi committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    d0a3d0d View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2023

  1. Temporary flag to hide new inference

    @ilevkivskyi
    ilevkivskyi committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    47db859 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2023

  1. Merge remote-tracking branch 'upstream/master' into fix-generic-infer… 

    …ence
    @ilevkivskyi
    ilevkivskyi committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    96d0f39 View commit details
    Browse the repository at this point in the history

  2. Address CR

    @ilevkivskyi
    ilevkivskyi committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    66b4567 View commit details
    Browse the repository at this point in the history