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

Add log2 verification #21

Merged
merged 37 commits into from
Aug 23, 2024
Merged

Add log2 verification #21

merged 37 commits into from
Aug 23, 2024

Commits on Sep 21, 2023

  1. Make mulWad specs exhaustive

    @JuanCoRo
    JuanCoRo committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    2fa01ac View commit details
    Browse the repository at this point in the history

  2. Update run script and add smt-timeout flag

    @JuanCoRo
    JuanCoRo committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    dfd4e6a View commit details
    Browse the repository at this point in the history

  3. Add lemmas for mulWad proofs

    @JuanCoRo
    JuanCoRo committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    9828668 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. Update run script comptibility with kontrol tool

    @JuanCoRo
    JuanCoRo committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    4a30438 View commit details
    Browse the repository at this point in the history

  2. Update verification summary for wadMul and wadMulUp

    @JuanCoRo
    JuanCoRo committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    b50af47 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. Merge branch 'master' into mulWad-proofs

    @F-WRunTime
    F-WRunTime authored Sep 27, 2023
    Configuration menu
    Copy the full SHA
    e999f9a View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2023

  1. Re-push to rebuild with CI changes

    @F-WRunTime
    F-WRunTime committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    a113156 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into mulWad-proofs

    @F-WRunTime
    F-WRunTime authored Sep 29, 2023
    Configuration menu
    Copy the full SHA
    2ff5a86 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2023

  1. Update action.yml

    @F-WRunTime
    F-WRunTime authored Oct 4, 2023
    Configuration menu
    Copy the full SHA
    cdf27d2 View commit details
    Browse the repository at this point in the history

  2. login to pull private image form docker

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    303be37 View commit details
    Browse the repository at this point in the history

  3. Define the ubuntu user

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    199a501 View commit details
    Browse the repository at this point in the history

  4. WRong path

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    aa4162b View commit details
    Browse the repository at this point in the history

  5. Run direct

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    20ec144 View commit details
    Browse the repository at this point in the history

  6. Check copy directory

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    05b4ae7 View commit details
    Browse the repository at this point in the history

  7. call just the script

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    850d31e View commit details
    Browse the repository at this point in the history

  8. Remove interactive shell

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    28d558a View commit details
    Browse the repository at this point in the history

  9. List directory

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    ad9eea1 View commit details
    Browse the repository at this point in the history

  10. Fix user chown

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    0f88bd4 View commit details
    Browse the repository at this point in the history

  11. Change permissions

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    bfc204f View commit details
    Browse the repository at this point in the history

  12. Wrong workspace

    @F-WRunTime
    F-WRunTime committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    1c847c3 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2023

  1. First try to debug the proof

    Lisandra Silva authored and Lisandra Silva committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    57f6882 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2023

  1. entire log2 proof

    Lisandra Silva authored and Lisandra Silva committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    227b1a7 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. lemmas and simplifications

    @PetarMax
    PetarMax committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    713e924 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. getting there

    @PetarMax
    PetarMax committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    d7a6aaa View commit details
    Browse the repository at this point in the history

  2. passing probably

    @PetarMax
    PetarMax committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    4c7caaf View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2023

  1. adjustment to test

    @PetarMax
    PetarMax committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    2ea74cb View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2023

  1. this hopefully passes

    @PetarMax
    PetarMax committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    aeb274c View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. run-kevm.sh: update log2 test name

    @JuanCoRo
    JuanCoRo committed May 15, 2024
    Configuration menu
    Copy the full SHA
    116fde0 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into log2-proofs

    @JuanCoRo
    JuanCoRo committed May 15, 2024
    Configuration menu
    Copy the full SHA
    cb4ffa9 View commit details
    Browse the repository at this point in the history

  3. Try fix CI merge mess

    @JuanCoRo
    JuanCoRo committed May 15, 2024
    Configuration menu
    Copy the full SHA
    7839dd6 View commit details
    Browse the repository at this point in the history

  4. Fix merge mess for mulWad proofs

    @JuanCoRo
    JuanCoRo committed May 15, 2024
    Configuration menu
    Copy the full SHA
    f720a59 View commit details
    Browse the repository at this point in the history

  5. Remove selector error comments

    @JuanCoRo
    JuanCoRo committed May 15, 2024
    Configuration menu
    Copy the full SHA
    903fe5d View commit details
    Browse the repository at this point in the history

  6. Set testLog2 mutability to pure

    @JuanCoRo
    JuanCoRo committed May 15, 2024
    Configuration menu
    Copy the full SHA
    f5b221c View commit details
    Browse the repository at this point in the history

  7. action.yml: revert ubuntu user name to user

    @JuanCoRo
    JuanCoRo committed May 15, 2024
    Configuration menu
    Copy the full SHA
    c414458 View commit details
    Browse the repository at this point in the history

  8. Revert "Try fix CI merge mess" 

    This reverts commit 7839dd6.
    @JuanCoRo
    JuanCoRo committed May 15, 2024
    Configuration menu
    Copy the full SHA
    9b1518f View commit details
    Browse the repository at this point in the history

  9. run-kevm.sh: add branch parallelization and increase eqn recursion

    @JuanCoRo
    JuanCoRo committed May 15, 2024
    Configuration menu
    Copy the full SHA
    7c0db31 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. Merge branch 'master' into log2-proofs

    @palinatolmach
    palinatolmach authored Aug 23, 2024
    Configuration menu
    Copy the full SHA
    07929b2 View commit details
    Browse the repository at this point in the history