projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1e936b) | patch
updates to model generation : do not modify equality engine during getValue, other...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 26 Sep 2012 21:44:22 +0000 (21:44 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 26 Sep 2012 21:44:22 +0000 (21:44 +0000)
commitc6d2a808e4981f81e4a638d25582e8542e89b716
treec2b7222a92fd1bf967e9074a97643d3bbd80a1e2tree
parentc1e936b9cec3d731778b95504770e48c28fd1a65commit | diff
updates to model generation : do not modify equality engine during getValue, other minor changes, still problems with constants not being specified for some eq classes
src/theory/model.cpp diff | blob | history
src/theory/model.h diff | blob | history
src/theory/quantifiers/first_order_model.cpp diff | blob | history
src/theory/quantifiers/first_order_model.h diff | blob | history
src/theory/quantifiers/model_builder.cpp diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/uf/theory_uf_model.cpp diff | blob | history
src/theory/uf/theory_uf_model.h diff | blob | history