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

Forking solver implementation #123

Open
wants to merge 12 commits into
base: main
Choose a base branch
from
Open

Forking solver implementation #123

wants to merge 12 commits into from

Commits on Aug 17, 2023

  1. cvc5 forking solver, tests

    @dee-tree
    dee-tree committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    e69dd81 View commit details
    Browse the repository at this point in the history

  2. cvc5 expressions lifetime fix via native mkExprSolver; 

    added lifetime test
    @dee-tree
    dee-tree committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    10e4502 View commit details
    Browse the repository at this point in the history

  3. cvc5: Extracted global cache for forking context and delegated to KCv… 

    …c5ForkingSolverManager
    @dee-tree
    dee-tree committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    c0e4be5 View commit details
    Browse the repository at this point in the history

  4. z3: 

    forking solver;
Wrapped missing native throwable functions;
Tracks of assertion clear on pop
    @dee-tree
    dee-tree committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    d88500e View commit details
    Browse the repository at this point in the history

  5. Yices forking solver, uninterpreted values in universe fix

    @dee-tree
    dee-tree committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    b5ed3ab View commit details
    Browse the repository at this point in the history

  6. Bitwuzla uninterpreted sort values universe fix

    @dee-tree
    dee-tree committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    60bda4e View commit details
    Browse the repository at this point in the history

  7. bitwuzla - forking solver, scoped uninterpreted values tracking fix, … 

    …yices - forking solver init exceptions wrapper, forking solver close fix,

all solvers - ScopedLinkedFrame.pop fix
    @dee-tree
    dee-tree committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    6c626c4 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2023

  1. z3 pop fix, post-review refactoring

    @dee-tree
    dee-tree committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    68a0696 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. z3 forking solver refactoring by uninterpreted sort values tracker ex… 

    …traction
    @dee-tree
    dee-tree committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    4438aff View commit details
    Browse the repository at this point in the history

  2. cvc5 forking solver refactoring by uninterpreted sort values forking … 

    …tracker extraction
    @dee-tree
    dee-tree committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    6f88204 View commit details
    Browse the repository at this point in the history

  3. yices cache sharing in forking solver manager, added description on f… 

    …ork in bitwuzla
    @dee-tree
    dee-tree committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    c6bbd31 View commit details
    Browse the repository at this point in the history

  4. rename: mkForkingSolver -> createForkingSolver

    @dee-tree
    dee-tree committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    6284a01 View commit details
    Browse the repository at this point in the history