projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 967747b) | patch
Refactor last call for theories, only create one model when quantifiers are enabled...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 5 Jul 2016 22:55:25 +0000 (17:55 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 5 Jul 2016 22:55:25 +0000 (17:55 -0500)
commitcbc5adb5d4f131ea6bf9a40b0c27fecf67353b4d
tree21d06037850407e21af2084e7799b25b3905ba1ctree
parent967747b7b279256bd9368e2d392ae71dec1bb1c1commit | diff
Refactor last call for theories, only create one model when quantifiers are enabled. Fix sep.nil preregistration in TheorySep.
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sep/theory_sep.h diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
test/regress/regress0/sep/Makefile.am diff | blob | history
test/regress/regress0/sep/trees-1.smt2 [new file with mode: 0644] blob