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

Prove Starks without constraints #1552

Merged
merged 21 commits into from
Mar 15, 2024
Merged

Prove Starks without constraints #1552

merged 21 commits into from
Mar 15, 2024

Commits on Mar 8, 2024

  1. Enable starks without constraints

    @4l0n50
    4l0n50 committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    6664992 View commit details
    Browse the repository at this point in the history

  2. Clippy

    @4l0n50
    4l0n50 committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    4a553f8 View commit details
    Browse the repository at this point in the history

  3. Add test stark without constraints

    @4l0n50
    4l0n50 committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    2cf3871 View commit details
    Browse the repository at this point in the history

  4. Missing file

    @4l0n50
    4l0n50 committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    36f3136 View commit details
    Browse the repository at this point in the history

  5. Missing changes in the recursive side

    @4l0n50
    4l0n50 committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    3b8d624 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. Fix bug with recursion

    @4l0n50
    4l0n50 committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    aba4dbd View commit details
    Browse the repository at this point in the history

  2. Missing import

    @4l0n50
    4l0n50 committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    1b23e4e View commit details
    Browse the repository at this point in the history

  3. Clippy

    @4l0n50
    4l0n50 committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    4e8e1b7 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Robin Salen <[email protected]>
    @4l0n50 @Nashtare
    4l0n50 and Nashtare authored Mar 11, 2024
    Configuration menu
    Copy the full SHA
    ee3f8f4 View commit details
    Browse the repository at this point in the history

  2. Address reviews

    @4l0n50
    4l0n50 committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    ded114c View commit details
    Browse the repository at this point in the history

  3. Fix TODO

    @4l0n50
    4l0n50 committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    ad04ecc View commit details
    Browse the repository at this point in the history

  4. Apply suggestions from code review 

    Co-authored-by: Linda Guiga <[email protected]>
    @4l0n50 @LindaGuiga
    4l0n50 and LindaGuiga authored Mar 11, 2024
    Configuration menu
    Copy the full SHA
    d914a38 View commit details
    Browse the repository at this point in the history

  5. More reviews

    @4l0n50
    4l0n50 committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    ff97a6d View commit details
    Browse the repository at this point in the history

  6. Fix bug in eval_helper_columns

    @4l0n50
    4l0n50 committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    cf2df3c View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Robin Salen <[email protected]>
    @4l0n50 @Nashtare
    4l0n50 and Nashtare authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    0a793f3 View commit details
    Browse the repository at this point in the history

  2. Address reviews

    @4l0n50
    4l0n50 committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    4efa98b View commit details
    Browse the repository at this point in the history

  3. Allow <= blowup_factor + 1 constraints + reviews

    @4l0n50
    4l0n50 committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    ab37160 View commit details
    Browse the repository at this point in the history

  4. Add unconstrined Stark

    @4l0n50
    4l0n50 committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    84f271d View commit details
    Browse the repository at this point in the history

  5. Missing file

    @4l0n50
    4l0n50 committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    40034c3 View commit details
    Browse the repository at this point in the history

  6. Remove asserts

    @4l0n50
    4l0n50 committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    03b811c View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. Merge branch 'main' into prove_tables

    @Nashtare
    Nashtare authored Mar 15, 2024
    Configuration menu
    Copy the full SHA
    0a32e6d View commit details
    Browse the repository at this point in the history