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

Adding --proof-hint flag to PyK KRun #4532

Merged
merged 20 commits into from
Aug 12, 2024
Merged

Adding --proof-hint flag to PyK KRun #4532

merged 20 commits into from
Aug 12, 2024

Commits on Jul 18, 2024

  1. Adding --proof-hint flag to PyK KRun

    @Robertorosmaninho
    Robertorosmaninho committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    55ee1b3 View commit details
    Browse the repository at this point in the history

  2. Formatting code

    @Robertorosmaninho
    Robertorosmaninho committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    efcc3ed View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. Update pyk/src/pyk/ktool/krun.py 

    Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>
    @Robertorosmaninho @tothtamas28
    Robertorosmaninho and tothtamas28 committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    93ca0c0 View commit details
    Browse the repository at this point in the history

  2. Adding proof_hint to krun unit-test

    @Robertorosmaninho
    Robertorosmaninho committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    ffb2d54 View commit details
    Browse the repository at this point in the history

  3. Adding pipe_stdout flag False when proof_hint is passed

    @Robertorosmaninho
    Robertorosmaninho committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    86c8214 View commit details
    Browse the repository at this point in the history

  4. Formatting

    @Robertorosmaninho
    Robertorosmaninho committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    977bcb6 View commit details
    Browse the repository at this point in the history

  5. Deleting write call as the hints we're already printed by subprocess

    @Robertorosmaninho
    Robertorosmaninho committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    b5a445e View commit details
    Browse the repository at this point in the history

  6. Merge branch 'develop' into pi2/proof-hint-flag-to-pyk-krun

    @Robertorosmaninho
    Robertorosmaninho committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    832c329 View commit details
    Browse the repository at this point in the history

  7. Modfiying conditions with proof_hint

    @Robertorosmaninho
    Robertorosmaninho committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    43d618d View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Merge branch 'develop' into pi2/proof-hint-flag-to-pyk-krun

    @Robertorosmaninho
    Robertorosmaninho committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    c711cf9 View commit details
    Browse the repository at this point in the history

  2. Creating new run_proof_hint_process function

    @Robertorosmaninho
    Robertorosmaninho committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    e980875 View commit details
    Browse the repository at this point in the history

  3. Creating run_proof_hint function and using it in run and _krun

    @Robertorosmaninho
    Robertorosmaninho committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    3a11ef0 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Removing proof_hints option from other functions parameters list; 

    making `run_proof_hint` even more generic regarding arguments list
    @Robertorosmaninho
    Robertorosmaninho committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    e600a47 View commit details
    Browse the repository at this point in the history

  2. Making run_proof_hint_process private in krun.py

    @Robertorosmaninho
    Robertorosmaninho committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    0366742 View commit details
    Browse the repository at this point in the history

  3. Creating new unit test for proof hints feature in pyk krun.

    @Robertorosmaninho
    Robertorosmaninho committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    4cf6ba4 View commit details
    Browse the repository at this point in the history

  4. Simplifying test_krun_proof_hints and _kompiler

    @Robertorosmaninho
    Robertorosmaninho committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    83cf327 View commit details
    Browse the repository at this point in the history

  5. Deleting dead code.

    @Robertorosmaninho
    Robertorosmaninho committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    d90200f View commit details
    Browse the repository at this point in the history

  6. Deleting default value of proof_hint in _build_arg_list and setti… 

    …ng the argument explicit in `_krun` callsite
    @Robertorosmaninho
    Robertorosmaninho committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    5ae6100 View commit details
    Browse the repository at this point in the history

  7. Deleting unused pipe_stdout parameter from _krun

    @Robertorosmaninho
    Robertorosmaninho committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    18b7d97 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'develop' into pi2/proof-hint-flag-to-pyk-krun

    @Robertorosmaninho
    Robertorosmaninho committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    2a65115 View commit details
    Browse the repository at this point in the history