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

Split vvar and hvar #151

Merged
merged 8 commits into from
Jun 16, 2024
Merged

Split vvar and hvar #151

merged 8 commits into from
Jun 16, 2024

Commits on Jun 14, 2024

  1. add changes

    LaurenzV committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    c4dc012 View commit details
    Browse the repository at this point in the history
  2. Fix c-api

    LaurenzV committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    1d57f08 View commit details
    Browse the repository at this point in the history
  3. next attempt

    LaurenzV committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    e5b4843 View commit details
    Browse the repository at this point in the history
  4. next attempt

    LaurenzV committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    a3fbd22 View commit details
    Browse the repository at this point in the history
  5. fix bencher

    LaurenzV committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    b16f089 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. Revert public API changes

    LaurenzV committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    f0fb916 View commit details
    Browse the repository at this point in the history
  2. more changes

    LaurenzV committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    847aa01 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. Fix name

    LaurenzV committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    90ca837 View commit details
    Browse the repository at this point in the history