projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7559c8) | patch
Split abstract values utility from SmtEngine (#4754)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 16 Jul 2020 19:00:59 +0000 (14:00 -0500)
committerGitHub <noreply@github.com>
Thu, 16 Jul 2020 19:00:59 +0000 (14:00 -0500)
commit144c4df45ecedff8bfdbf8672e376606b393fc84
treeb812c293a7fa332352c4b45717e33e60eb6eee3dtree
parentf7559c879d1ebc7d4d9b9f72b0858bdf42c9ed8ccommit | diff
Split abstract values utility from SmtEngine (#4754)

Towards refactoring SmtEngine.
src/CMakeLists.txt diff | blob | history
src/smt/abstract_values.cpp [new file with mode: 0644] blob
src/smt/abstract_values.h [new file with mode: 0644] blob
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history