projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f40d0a7) | patch
more minor updates to inst gen and representative selection, clean up of equality...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 2 Nov 2012 20:54:11 +0000 (20:54 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 2 Nov 2012 20:54:11 +0000 (20:54 +0000)
commit1c779966545190efa59b019572237562eea66dbf
treef827fe0e4bcbbca8c84174f815948b3212391423tree
parentf40d0a7cc8d6af511cc0817caf8df3296a59f380commit | diff
more minor updates to inst gen and representative selection, clean up of equality query
13 files changed:
src/theory/quantifiers/inst_gen.cpp diff | blob | history
src/theory/quantifiers/inst_match.cpp diff | blob | history
src/theory/quantifiers/inst_match.h diff | blob | history
src/theory/quantifiers/model_builder.cpp diff | blob | history
src/theory/quantifiers/model_builder.h diff | blob | history
src/theory/quantifiers/model_engine.cpp diff | blob | history
src/theory/quantifiers/model_engine.h diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history
src/theory/quantifiers/trigger.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/uf/inst_strategy.cpp diff | blob | history
src/theory/uf/inst_strategy.h diff | blob | history