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: CVC5 api update #5203

Merged
merged 11 commits into from
Mar 15, 2024
Merged

fix: CVC5 api update #5203

merged 11 commits into from
Mar 15, 2024

Commits on Mar 14, 2024

  1. Made cvc5 external project. No manual installation

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

  2. I have no idea how did it pass here

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

  3. CVC5 api was updated

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

  4. Updated Bool class 

    - CVC5 api now uses TermManager instead of Solver to manage terms
- I have no recollection of making Bool to have only pure
  cvc5::Solver, fixed it
    @Sarkoxed
    Sarkoxed committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    bf79337 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into as/smt-terms-merge

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

  6. Renamed members of a Solver class and added placeholders

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

  7. Meet new api syntax

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

  8. Merge branch 'as/smt-terms-merge' of github.com:AztecProtocol/aztec-p… 

    …ackages into as/smt-terms-merge
    @Sarkoxed
    Sarkoxed committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    249e507 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'master' into as/smt-terms-merge

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

  10. Merge branch 'master' into as/smt-terms-merge

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

Commits on Mar 15, 2024

  1. Merge branch 'master' into as/smt-terms-merge

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