projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7adf1f2) | patch
Minor fix : do not drop instantiation patterns when merging quantifiers.
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 5 Aug 2014 15:23:41 +0000 (17:23 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 5 Aug 2014 15:23:41 +0000 (17:23 +0200)
commit8b189c3f51d2272ecbda57e367d2bd1af34fb94d
treeb78759e65d102a4cd01ab5a9ca6cfc13eb457795tree
parent7adf1f2ba37912da65d86d811dd1fd9d572fc747commit | diff
Minor fix : do not drop instantiation patterns when merging quantifiers.
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history