projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7847d0) | patch
(proof-new) Split TheoryEngine (#4558)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 12 Jun 2020 04:25:15 +0000 (23:25 -0500)
committerGitHub <noreply@github.com>
Fri, 12 Jun 2020 04:25:15 +0000 (23:25 -0500)
commitd4c7b0b250a419ec149f973abcb1c1bf3886cef3
treeb376444a53e3657c60241980b37be0ec345167f4tree
parentd7847d052eb45695f24b2d534d3b6fb1551302eacommit | diff
(proof-new) Split TheoryEngine (#4558)

This PR splits two classes from TheoryEngine (EngineOutputChannel and TheoryPreprocess) that will be undergoing further refactoring for proofs.

This PR does not change their behavior and is code-move only modulo a few cosmetic changes.
src/CMakeLists.txt diff | blob | history
src/theory/engine_output_channel.cpp [new file with mode: 0644] blob
src/theory/engine_output_channel.h [new file with mode: 0644] blob
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/theory_preprocessor.cpp [new file with mode: 0644] blob
src/theory/theory_preprocessor.h [new file with mode: 0644] blob