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

[Merged by Bors] - perf: improve to_additive performance #1060

Closed
wants to merge 18 commits into from
Closed

[Merged by Bors] - perf: improve to_additive performance #1060

wants to merge 18 commits into from

Commits on Dec 15, 2022

  1. WIP

    @fpvandoorn
    fpvandoorn committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    828065b View commit details
    Browse the repository at this point in the history

  2. checkpoint

    @fpvandoorn
    fpvandoorn committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    447d31d View commit details
    Browse the repository at this point in the history

  3. wrong way

    @fpvandoorn
    fpvandoorn committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    cacd33f View commit details
    Browse the repository at this point in the history

  4. first try on improving performance

    @fpvandoorn
    fpvandoorn committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    5f2efe3 View commit details
    Browse the repository at this point in the history

  5. improve performance

    @fpvandoorn
    fpvandoorn committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    288f276 View commit details
    Browse the repository at this point in the history

  6. update test

    @fpvandoorn
    fpvandoorn committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    cca00ed View commit details
    Browse the repository at this point in the history

  7. fix

    @fpvandoorn
    fpvandoorn committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    ce6b2c2 View commit details
    Browse the repository at this point in the history

  8. make test more reliable

    @fpvandoorn
    fpvandoorn committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    7488cfc View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2022

  1. convince lake to provide dependencies to tests

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    486cf8d View commit details
    Browse the repository at this point in the history

  2. oops, that actually had no effect

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    20bd511 View commit details
    Browse the repository at this point in the history

  3. hm

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    c13331a View commit details
    Browse the repository at this point in the history

  4. pointless doc-string to satisfy the linter

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    afb96e7 View commit details
    Browse the repository at this point in the history

  5. documenting where clauses is annoying

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    5c2dc09 View commit details
    Browse the repository at this point in the history

  6. really annoying

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    620fbff View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/master' into toAdditivePerformance

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    28450ae View commit details
    Browse the repository at this point in the history

  8. split Nat notation to avoid import loops

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    7aac8ca View commit details
    Browse the repository at this point in the history

  9. oops add file

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    c3774d9 View commit details
    Browse the repository at this point in the history

  10. module doc

    @kim-em
    kim-em committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    b581bcb View commit details
    Browse the repository at this point in the history