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 SKI import. #1

Closed
wants to merge 16 commits into from
Closed

Initial SKI import. #1

wants to merge 16 commits into from

Commits on Apr 17, 2024

  1. Initial SKI import.

    @porcuquine
    porcuquine committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    22dc6c3 View commit details
    Browse the repository at this point in the history

  2. Refactor terms.

    @porcuquine
    porcuquine committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    a23160b View commit details
    Browse the repository at this point in the history

  3. Patch program/script.

    @porcuquine
    porcuquine committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    b7ce910 View commit details
    Browse the repository at this point in the history

  4. hack: Enable building wp1-core for the zkvm 

    See also commit ee2e858a282252773a15572a332af207f408ae67 on wp1-core
    @wwared
    wwared committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    37782ae View commit details
    Browse the repository at this point in the history

  5. chore: Update program/script and recompile

    @wwared
    wwared committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    7a1b0f6 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. Update cycle count for memoized reduction steps.

    @porcuquine
    porcuquine committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    21ee699 View commit details
    Browse the repository at this point in the history

  2. Refactor.

    @porcuquine
    porcuquine committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    dc2c6af View commit details
    Browse the repository at this point in the history

  3. Add multiplicity support.

    @porcuquine
    porcuquine committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    d216d3f View commit details
    Browse the repository at this point in the history

  4. Reduce warnings.

    @porcuquine
    porcuquine committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    37db63e View commit details
    Browse the repository at this point in the history

  5. Clarify initial multiplicities.

    @porcuquine
    porcuquine committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    c434226 View commit details
    Browse the repository at this point in the history

  6. Add methods to get all steps of each type.

    @porcuquine
    porcuquine committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    ab19489 View commit details
    Browse the repository at this point in the history

  7. Conservatively evaluate sub-terms when reducing.

    @porcuquine
    porcuquine committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    7423db2 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Implement eval recursively.

    @porcuquine
    porcuquine committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    565e2f5 View commit details
    Browse the repository at this point in the history

  2. Implement verification.

    @porcuquine
    porcuquine committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    f2986ba View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2024

  1. Derive Copy.

    @porcuquine
    porcuquine committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    4d4d916 View commit details
    Browse the repository at this point in the history

  2. Simplify and fix verification comparisons.

    @porcuquine
    porcuquine committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    587f6cb View commit details
    Browse the repository at this point in the history