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

fix range check bug #1343

Merged
merged 27 commits into from
Sep 4, 2023
Merged

fix range check bug #1343

merged 27 commits into from
Sep 4, 2023

Commits on May 19, 2023

  1. bump nova-snark, ff, bellperson, pasta_curves and adjust the code 

    accordingly
    Leo Alt committed May 19, 2023
    Configuration menu
    Copy the full SHA
    e967438 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #1311 from leonardoalt/bump-nova 

    bump nova-snark, ff, bellperson, pasta_curves
    @Schaeff
    Schaeff authored May 19, 2023
    Configuration menu
    Copy the full SHA
    1c3187b View commit details
    Browse the repository at this point in the history

Commits on May 23, 2023

  1. Fix constant in mimc7

    @dark64
    dark64 authored May 23, 2023
    Configuration menu
    Copy the full SHA
    68f29e6 View commit details
    Browse the repository at this point in the history

  2. Create 1317-dark64

    @dark64
    dark64 authored May 23, 2023
    Configuration menu
    Copy the full SHA
    862400e View commit details
    Browse the repository at this point in the history

  3. short circuit on constant branch conditions

    @Schaeff
    Schaeff committed May 23, 2023
    Configuration menu
    Copy the full SHA
    5582b1f View commit details
    Browse the repository at this point in the history

  4. propagate embed call in reducer

    @Schaeff
    Schaeff committed May 23, 2023
    Configuration menu
    Copy the full SHA
    066d353 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2023

  1. allow complex type assignee in witness assignment

    @dark64
    dark64 committed May 24, 2023
    Configuration menu
    Copy the full SHA
    2082157 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2023

  1. Merge pull request #1313 from Zokrates/fix-constant-embed-reduction 

    Propagate embed call in reducer
    @Schaeff
    Schaeff authored May 25, 2023
    Configuration menu
    Copy the full SHA
    4529fa4 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2023

  1. add missing alignment, changelog

    @dark64
    dark64 committed May 29, 2023
    Configuration menu
    Copy the full SHA
    4cc2f62 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2023

  1. Fixed a small typo, the right bracket next to bitwidth was mistyped. (#… 

    …1312)

* Fixed a small typo, the right bracket next to bitwidth was mistyped.

* Update types.md

Change the '[' to ')'.
    @only4sim
    only4sim authored May 30, 2023
    Configuration menu
    Copy the full SHA
    32f0f43 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #1317 from Zokrates/dark64-patch-3 

    Fix constant in mimc7
    @Schaeff
    Schaeff authored May 30, 2023
    Configuration menu
    Copy the full SHA
    4307184 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #1315 from Zokrates/compile-time-short-circuit 

    Short circuit on constant branch conditions
    @Schaeff
    Schaeff authored May 30, 2023
    Configuration menu
    Copy the full SHA
    cd15f02 View commit details
    Browse the repository at this point in the history

  4. check composite types, fix possible incorrect signature in zir function

    @dark64
    dark64 committed May 30, 2023
    Configuration menu
    Copy the full SHA
    948383d View commit details
    Browse the repository at this point in the history

  5. update changelog

    @dark64
    dark64 committed May 30, 2023
    Configuration menu
    Copy the full SHA
    f8f3c88 View commit details
    Browse the repository at this point in the history

  6. add more tests

    @dark64
    dark64 committed May 30, 2023
    Configuration menu
    Copy the full SHA
    350430f View commit details
    Browse the repository at this point in the history

Commits on May 31, 2023

  1. fix propagation in case of nested assembly

    @dark64
    dark64 committed May 31, 2023
    Configuration menu
    Copy the full SHA
    6ea437c View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2023

  1. fix the format of assembly blocks in zir

    @dark64
    dark64 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    5c233ff View commit details
    Browse the repository at this point in the history

  2. suggestions, update book

    @dark64
    dark64 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    b55ae6f View commit details
    Browse the repository at this point in the history

  3. remove extra space

    @dark64
    dark64 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    2cde470 View commit details
    Browse the repository at this point in the history

  4. detect division by zero in typed propagation

    @dark64
    dark64 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    791a9b6 View commit details
    Browse the repository at this point in the history

  5. add changelog

    @dark64
    dark64 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    6b30372 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2023

  1. Merge pull request #1318 from Zokrates/asm-complex-type-assignment 

    Allow composite field type in witness assignment
    @Schaeff
    Schaeff authored Jun 13, 2023
    Configuration menu
    Copy the full SHA
    a4fc3fc View commit details
    Browse the repository at this point in the history

  2. Merge pull request #1326 from Zokrates/detect-div-by-zero 

    Detect division by zero in typed propagation
    @Schaeff
    Schaeff authored Jun 13, 2023
    Configuration menu
    Copy the full SHA
    737b75f View commit details
    Browse the repository at this point in the history

  3. add changelog

    @dark64
    dark64 committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    9c0c7a9 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Merge pull request #1322 from Zokrates/fix-nested-assembly 

    Fix propagation in case of nested assembly
    @Schaeff
    Schaeff authored Jul 24, 2023
    Configuration menu
    Copy the full SHA
    f900437 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. Fix js format and clippy issues (#1339) 

    * js fmt

* clippy
    @dark64
    dark64 authored Aug 22, 2023
    Configuration menu
    Copy the full SHA
    296921e View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. fix clippy issues (#1342)

    @dark64
    dark64 authored Aug 31, 2023
    Configuration menu
    Copy the full SHA
    96250e4 View commit details
    Browse the repository at this point in the history