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

Use C++ for step functions to improve pure-prove perf by about 2x #269

Merged
merged 12 commits into from
Sep 6, 2022
Merged

Use C++ for step functions to improve pure-prove perf by about 2x #269

merged 12 commits into from
Sep 6, 2022

Commits on Sep 4, 2022

  1. Use C++ for step functions to improve pure-prove perf by about 2x

    @flaub
    flaub committed Sep 4, 2022
    Configuration menu
    Copy the full SHA
    0b59607 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into flaub/cpp_exec

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

  3. rustfmt

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

  4. Fix linux builds

    @flaub
    flaub committed Sep 4, 2022
    Configuration menu
    Copy the full SHA
    78371a8 View commit details
    Browse the repository at this point in the history

  5. MIssing inc

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

  6. Missing inc

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

  7. Use array instead of vector

    @flaub
    flaub committed Sep 4, 2022
    Configuration menu
    Copy the full SHA
    85d2dfa View commit details
    Browse the repository at this point in the history

  8. Fix multiple defs

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

Commits on Sep 5, 2022

  1. Inline all the things

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

  2. Cleanups

    @flaub
    flaub committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    452b0dd View commit details
    Browse the repository at this point in the history

  3. Use return

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

  4. Fix

    @flaub
    flaub committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    0467b27 View commit details
    Browse the repository at this point in the history