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

Support user-defined scheduler #431

Open
wants to merge 7 commits into
base: main
Choose a base branch
from
Open

Support user-defined scheduler #431

wants to merge 7 commits into from

Commits on Oct 3, 2024

  1. extensible schedules

    @yihozhang
    yihozhang committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    f90f61f View commit details
    Browse the repository at this point in the history

  2. checkpoint

    @yihozhang
    yihozhang committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    ecb8fb8 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Add with-scheduler 

    Add a Backoff scheduler
    @yihozhang
    yihozhang committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    40d4711 View commit details
    Browse the repository at this point in the history

  2. fix the scheduler

    @yihozhang
    yihozhang committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    63f6ae4 View commit details
    Browse the repository at this point in the history

  3. fix seminaive

    @yihozhang
    yihozhang committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    8395a80 View commit details
    Browse the repository at this point in the history

  4. fix names

    @yihozhang
    yihozhang committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    c8e5aa9 View commit details
    Browse the repository at this point in the history

  5. nits

    @yihozhang
    yihozhang committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    6ea25f0 View commit details
    Browse the repository at this point in the history