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

feat: fold batching challenge (alpha) #3291

Merged
merged 36 commits into from
Nov 21, 2023
Merged

feat: fold batching challenge (alpha) #3291

merged 36 commits into from
Nov 21, 2023

Commits on Oct 23, 2023

  1. wip wip wip

    @maramihali
    maramihali committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    6313f15 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. styuff

    @maramihali
    maramihali committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    40cedd0 View commit details
    Browse the repository at this point in the history

  2. how do I do this?

    @maramihali
    maramihali committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    c7cc936 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. pain

    @maramihali
    maramihali committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    aed27df View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. wip that works

    @maramihali
    maramihali committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    265f248 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into mm/pg-plumbing

    @maramihali
    maramihali committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    44da63f View commit details
    Browse the repository at this point in the history

  3. cleanup

    @maramihali
    maramihali committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    7ffc364 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into mm/combiner-quotient

    @maramihali
    maramihali committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    62df97a View commit details
    Browse the repository at this point in the history

  5. comment test

    @maramihali
    maramihali committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    9d1b5c6 View commit details
    Browse the repository at this point in the history

  6. comment test

    @maramihali
    maramihali committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    42ac7e2 View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/master' into mm/combiner-quotient

    @codygunton
    codygunton committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    75221fb View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Add weirder test

    @codygunton
    codygunton committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    bc63909 View commit details
    Browse the repository at this point in the history

  2. Use clearer type names

    @codygunton
    codygunton committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    7d3e01b View commit details
    Browse the repository at this point in the history

  3. wip

    @maramihali
    maramihali committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    2287a76 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. pr review additions

    @maramihali
    maramihali committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    86963a5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into mm/combiner-quotient

    @maramihali
    maramihali committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    a816c4b View commit details
    Browse the repository at this point in the history

  3. fix formatting

    @maramihali
    maramihali committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    91ca591 View commit details
    Browse the repository at this point in the history

  4. add missing issue

    @maramihali
    maramihali committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    abb6ed2 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Merge branch 'mm/combiner-quotient' into mm/pg-fold-alpha

    @maramihali
    maramihali committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    81f7d89 View commit details
    Browse the repository at this point in the history

  2. wip that doesn't work

    @maramihali
    maramihali committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    73068a6 View commit details
    Browse the repository at this point in the history

  3. wip

    @maramihali
    maramihali committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    a86a9b4 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. subrelation number

    @maramihali
    maramihali committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    a51d686 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. add stuff

    @maramihali
    maramihali committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    df7a62c View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. confusion

    @maramihali
    maramihali committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    1ff05b6 View commit details
    Browse the repository at this point in the history

  2. pain

    @maramihali
    maramihali committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    1ed19f2 View commit details
    Browse the repository at this point in the history

  3. compiles

    @maramihali
    maramihali committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    dea27c1 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Merge branch 'master' into mm/pg-fold-alpha

    @maramihali
    maramihali committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    05bf621 View commit details
    Browse the repository at this point in the history

  2. works

    @maramihali
    maramihali committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    073db88 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into mm/pg-fold-alpha

    @maramihali
    maramihali committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    e9079f3 View commit details
    Browse the repository at this point in the history

  4. more naming

    @maramihali
    maramihali committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    348f561 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2023

  1. fix sumcheck test that was failing

    @maramihali
    maramihali committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    c380cea View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into mm/pg-fold-alpha

    @maramihali
    maramihali committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    068ea31 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. remove unwanted comments

    @maramihali
    maramihali committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    238c0dc View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2023

  1. Merge branch 'master' into mm/pg-fold-alpha

    @codygunton
    codygunton authored Nov 21, 2023
    Configuration menu
    Copy the full SHA
    c136315 View commit details
    Browse the repository at this point in the history

  2. comment fixes from PR review

    @maramihali
    maramihali committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    350e9b9 View commit details
    Browse the repository at this point in the history

  3. fix format.sh

    @maramihali
    maramihali committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    ed3c28b View commit details
    Browse the repository at this point in the history