projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0ec8ff) | patch
Refactor check interface of nonlinear extension (#7235)
authorGereon Kremer <nafur42@gmail.com>
Thu, 23 Sep 2021 21:20:42 +0000 (14:20 -0700)
committerGitHub <noreply@github.com>
Thu, 23 Sep 2021 21:20:42 +0000 (16:20 -0500)
commit6d9f47e6e97b44991c8331ae8b5db087d9c9e5fe
treeb613ef4fd6ff1689a66e0932fa9792999106d541tree
parentd0ec8ff649c7649c9f33e4290c6d7b426121d854commit | diff
Refactor check interface of nonlinear extension (#7235)

This PR does a first step for refactoring the main check interface of the nonlinear extension. It does not change anything yet, but merely moves code around.
src/theory/arith/nl/nonlinear_extension.cpp diff | blob | history
src/theory/arith/nl/nonlinear_extension.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history