projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d5b5b3) | patch
Miscellaneous changes from central ee branch (#6687)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 4 Jun 2021 21:05:43 +0000 (16:05 -0500)
committerGitHub <noreply@github.com>
Fri, 4 Jun 2021 21:05:43 +0000 (16:05 -0500)
commit760874731c70e2aa32c3591c67a08f3ea85dcafd
treef16259f2221f57a765a3e67f77d12dd9a3a85f65tree
parent1d5b5b32ffe14c0f0d68d0b9a5ac36147588bfaecommit | diff
Miscellaneous changes from central ee branch (#6687)

Minor reorganization to make calls to theory engine from combination engine / shared solver more organized.
src/theory/combination_care_graph.cpp diff | blob | history
src/theory/combination_engine.cpp diff | blob | history
src/theory/combination_engine.h diff | blob | history
src/theory/shared_solver.cpp diff | blob | history
src/theory/shared_solver.h diff | blob | history