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

Update algorithm for budget deduction #28

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

Update algorithm for budget deduction #28

wants to merge 7 commits into from

Commits on Oct 2, 2024

  1. update algorithm for budget deduction

    Benjamin Case committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    39bda30 View commit details
    Browse the repository at this point in the history

  2. checkpoint

    Benjamin Case committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    2b96cfa View commit details
    Browse the repository at this point in the history

  3. citation and markdown fixes

    Benjamin Case committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    2a4fd23 View commit details
    Browse the repository at this point in the history

  4. line indents

    Benjamin Case committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    978b16c View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Merge branch 'main' into idp_updates

    @bmcase
    bmcase authored Oct 4, 2024
    Configuration menu
    Copy the full SHA
    c52fecd View commit details
    Browse the repository at this point in the history

  2. only specify L1-norm, not p-norm

    Benjamin Case committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    dc7d57d View commit details
    Browse the repository at this point in the history

  3. fmt

    Benjamin Case committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    212e7a9 View commit details
    Browse the repository at this point in the history