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

Speed up freshening type variables #14323

Merged
merged 8 commits into from
Dec 20, 2022
Merged

Speed up freshening type variables #14323

merged 8 commits into from
Dec 20, 2022

Commits on Dec 19, 2022

  1. WIP initial freshen type var optimization attempt

    @JukkaL
    JukkaL committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    ace3c2e View commit details
    Browse the repository at this point in the history

  2. Various improvements

    @JukkaL
    JukkaL committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    8a4aaac View commit details
    Browse the repository at this point in the history

  3. Refactor

    @JukkaL
    JukkaL committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    fa04432 View commit details
    Browse the repository at this point in the history

  4. More refactoring

    @JukkaL
    JukkaL committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    30495ed View commit details
    Browse the repository at this point in the history

  5. Tweaks

    @JukkaL
    JukkaL committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    9317bcf View commit details
    Browse the repository at this point in the history

  6. Cleanup

    @JukkaL
    JukkaL committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    4d9eca2 View commit details
    Browse the repository at this point in the history

  7. Minor tweak

    @JukkaL
    JukkaL committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    2e976c8 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2022

  1. Minor optimization

    @JukkaL
    JukkaL committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    0b714d0 View commit details
    Browse the repository at this point in the history