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: creating an SMT verification module #712

Closed
wants to merge 17 commits into from
Closed

feat: creating an SMT verification module #712

wants to merge 17 commits into from

Commits on Aug 30, 2023

  1. Adding cvc5 git module

    @Sarkoxed
    Sarkoxed committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    0561529 View commit details
    Browse the repository at this point in the history

  2. Added variable naming functionality + extract the circuit

    @Sarkoxed
    Sarkoxed committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    3f91563 View commit details
    Browse the repository at this point in the history

  3. Added cvc5 api + symbolic circuit construction + tests

    @Sarkoxed
    Sarkoxed committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    58ddbe3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into as/smt-verification

    @Sarkoxed
    Sarkoxed committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    76c87ba View commit details
    Browse the repository at this point in the history

  5. remove cvc5 git module

    @Sarkoxed
    Sarkoxed committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    cb96334 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. remove cvc5 from the src directory

    @Sarkoxed
    Sarkoxed committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    6f6d92f View commit details
    Browse the repository at this point in the history

  2. Added modulus of the field to the CircuitSchema

    @Sarkoxed
    Sarkoxed committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    a6fc7a9 View commit details
    Browse the repository at this point in the history

  3. Few corrections

    @Sarkoxed
    Sarkoxed committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    f12281b View commit details
    Browse the repository at this point in the history

  4. Added the manual cvc5 instalation phase

    @Sarkoxed
    Sarkoxed committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    77410ab View commit details
    Browse the repository at this point in the history

  5. Now you can take the modulus from CircuitSchema

    @Sarkoxed
    Sarkoxed committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    ed2b442 View commit details
    Browse the repository at this point in the history

  6. Documentation

    @Sarkoxed
    Sarkoxed committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    80eb513 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into as/smt-verification

    @Sarkoxed
    Sarkoxed committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    6fc22ef View commit details
    Browse the repository at this point in the history

  8. No belief is still a belief

    @Sarkoxed
    Sarkoxed committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    9309363 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. q

    @Sarkoxed
    Sarkoxed committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    713a1eb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into as/smt-verification

    @Sarkoxed
    Sarkoxed committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    7993aab View commit details
    Browse the repository at this point in the history

  3. -comment out

    @Sarkoxed
    Sarkoxed committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    e36a03c View commit details
    Browse the repository at this point in the history

  4. clean up

    @Sarkoxed
    Sarkoxed committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    86690ef View commit details
    Browse the repository at this point in the history