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

feat: Update the core of SMT Circuit class #5096

Merged
merged 11 commits into from
Mar 11, 2024
Merged

feat: Update the core of SMT Circuit class #5096

merged 11 commits into from
Mar 11, 2024

Commits on Mar 8, 2024

  1. Separated CircuitSchema object and relevant functions from circuit

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

  2. Subcircuits that will be removed from the full circuit when work with… 

    … integers/bitvectors
    @Sarkoxed
    Sarkoxed committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    1cf6e29 View commit details
    Browse the repository at this point in the history

  3. Updated Circuit class 

    - New member of CircuitSchema: real_variable_index
- New member of Circuit class: variable_names_inverse
- Changed add_gates method to prepare_gates which works a little bit
  different
- Added new function unique_witness and renamed old unique_witness
    @Sarkoxed
    Sarkoxed committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    5cd9256 View commit details
    Browse the repository at this point in the history

  4. Rename the unique_witness function

    @Sarkoxed
    Sarkoxed committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    465d70b View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into as/smt-update-circuit

    @Rumata888
    Rumata888 authored Mar 8, 2024
    Configuration menu
    Copy the full SHA
    34ba74e View commit details
    Browse the repository at this point in the history

  6. Typos, documentation and new readfile

    @Sarkoxed
    Sarkoxed committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    44547d8 View commit details
    Browse the repository at this point in the history

  7. formatting

    @Sarkoxed
    Sarkoxed committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    66f49ee View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into as/smt-update-circuit

    @Sarkoxed
    Sarkoxed committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    04f2b5e View commit details
    Browse the repository at this point in the history

  9. Another typo

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

  10. Readfile fix

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

Commits on Mar 9, 2024

  1. Merge branch 'master' into as/smt-update-circuit

    @Rumata888
    Rumata888 authored Mar 9, 2024
    Configuration menu
    Copy the full SHA
    fe8c059 View commit details
    Browse the repository at this point in the history