projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33d0894) | patch
Cache for getInstance, thanks to Johannes Kanig for the report. Do not mkRep for...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 7 Oct 2014 22:29:57 +0000 (00:29 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 7 Oct 2014 22:29:57 +0000 (00:29 +0200)
commitfc788d5125fed8257544e74ab8898344b1e7b19d
tree290549d7537318819a92cb146a846c35e28a7d60tree
parent33d0894b7707e3f590404cc51963af7740e7412acommit | diff
Cache for getInstance, thanks to Johannes Kanig for the report.  Do not mkRep for multi triggers.
src/theory/quantifiers/inst_match_generator.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history