projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47f0038) | patch
Split Assertions from SmtEngine (#4788)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 5 Aug 2020 19:14:23 +0000 (14:14 -0500)
committerGitHub <noreply@github.com>
Wed, 5 Aug 2020 19:14:23 +0000 (14:14 -0500)
commitd8d3c55afc94482fc05f68ba6be47f767ab3b5c6
treeea726e13c98562e9216f2b32f8c82c0add872d9atree
parent47f003828a8ba0cd8edd362accaef8b2449b0c46commit | diff
Split Assertions from SmtEngine (#4788)

This splits all things related to storing assertions in the SmtEngine into a separate class "Assertions". It also converts the interface for its methods from Expr to Node.
src/CMakeLists.txt diff | blob | history
src/api/cvc4cpp.cpp diff | blob | history
src/smt/assertions.cpp [new file with mode: 0644] blob
src/smt/assertions.h [new file with mode: 0644] blob
src/smt/command.cpp diff | blob | history
src/smt/process_assertions.cpp diff | blob | history
src/smt/process_assertions.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history