projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cf0dc3) | patch
Dynamic allocation of equality engine for shared solver (#5152)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 30 Sep 2020 15:06:58 +0000 (10:06 -0500)
committerGitHub <noreply@github.com>
Wed, 30 Sep 2020 15:06:58 +0000 (10:06 -0500)
commit7127be18692e2fd32bd2dfce53e50c105ed8a25d
tree0ac218e0effcebf81629c4d90508a7d8bb4f3182tree
parent0cf0dc3b3661e668f8c03113faad5078d91cea98commit | diff
Dynamic allocation of equality engine for shared solver (#5152)

This updates shared solver to have dynamic allocation of equality engine, analogous to theory solvers.
src/theory/ee_manager_distributed.cpp diff | blob | history
src/theory/ee_manager_distributed.h diff | blob | history
src/theory/shared_solver_distributed.cpp diff | blob | history
src/theory/shared_terms_database.cpp diff | blob | history
src/theory/shared_terms_database.h diff | blob | history