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.

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

Support user-defined scheduler #431

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

Commits on Oct 3, 2024

  1. extensible schedules

    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 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 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 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 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 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 committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    6ea25f0 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. Configuration menu
    Copy the full SHA
    d4fdef4 View commit details
    Browse the repository at this point in the history
  2. fix bad build

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