diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-21 11:48:22 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-21 11:48:22 -0600 |
| commit | ccda071a9605baa42602d580affa296cbc674807 (patch) | |
| tree | b45ff0d8259292895367c7f35754f54f402dd49d /COPYING | |
| parent | 0c2a43ab616c3670f3077758defcaa1f61cbe291 (diff) | |
Move ownership of theory preprocessor to TheoryProxy (#5690)
With this PR, TheoryEngine is independent of theory preprocessing. All theory preprocessing is handled at the level of PropEngine.
No significant behavior changes in this PR.
The next step will make theory preprocessing not mandatory in preprocessing, and optionally done instead at the time when literals are asserted to TheoryEngine.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions