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

Oxidize prove_stdio.sh #809

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

Oxidize prove_stdio.sh #809

wants to merge 7 commits into from
+181 −176

Commits on Nov 27, 2024

  1. Start conversion to prove_stdio.rs

    @sergerad
    sergerad committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    5972e9b View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2024

  1. Add prove_stdio.rs

    @sergerad
    sergerad committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    cc6b0d3 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2024

  1. Dedupe command call logic

    @sergerad
    sergerad committed Nov 30, 2024
    Configuration menu
    Copy the full SHA
    6937c5a View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2024

  1. Replace shell usage

    @sergerad
    sergerad committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    4dd0340 View commit details
    Browse the repository at this point in the history

  2. Fix test only

    @sergerad
    sergerad committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    164a9bf View commit details
    Browse the repository at this point in the history

  3. Comments

    @sergerad
    sergerad committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    48b96f9 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2024

  1. Fix spacing in github yamls

    @sergerad
    sergerad committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    20936ea View commit details
    Browse the repository at this point in the history