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

Initial VerifyHal implementation #266

Merged
merged 11 commits into from
Sep 2, 2022
Merged

Initial VerifyHal implementation #266

merged 11 commits into from
Sep 2, 2022

Commits on Aug 31, 2022

  1. WIP: VerifyHal

    @flaub
    flaub committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    662983c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into flaub/verify-hal

    @flaub
    flaub committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    3ecb943 View commit details
    Browse the repository at this point in the history

  3. WIP

    @flaub
    flaub committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    88007ae View commit details
    Browse the repository at this point in the history

  4. it works!

    @flaub
    flaub committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    66a195a View commit details
    Browse the repository at this point in the history

  5. Fixes

    @flaub
    flaub committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    c9f7926 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into flaub/verify-hal

    @flaub
    flaub committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    f0a6f60 View commit details
    Browse the repository at this point in the history

  7. rustfmt

    @flaub
    flaub committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    957b7d2 View commit details
    Browse the repository at this point in the history

  8. Revert max_cycles

    @flaub
    flaub committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    a7deabf View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2022

  1. Cleanup

    @flaub
    flaub committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    7be1033 View commit details
    Browse the repository at this point in the history

  2. Add poly_eval to VerifyHal

    @flaub
    flaub committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    7268b03 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2022

  1. CR update

    @flaub
    flaub committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    094998b View commit details
    Browse the repository at this point in the history