git.libre-soc.org Git - cvc5.git/history - src/theory/quantifiers/quant_conflict

2014-01-26	Andrew Reynolds	More optimization of QCF. Fixed InstMatchTrie for...	blob \| commitdiff \| raw
2014-01-24	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-01-24	Andrew Reynolds	Simplify the QCF algorithm by more aggressive flattenin...	blob \| commitdiff \| raw \| diff to current
2014-01-18	Andrew Reynolds	Performance optimization for E-matching, working on...	blob \| commitdiff \| raw \| diff to current
2014-01-18	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-01-18	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-17	Andrew Reynolds	More optimizations for quantifiers conflict find. ...	blob \| commitdiff \| raw \| diff to current
2014-01-17	Kshitij Bansal	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-16	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-01-15	Andrew Reynolds	Optimizations for quantifiers conflict find: better...	blob \| commitdiff \| raw \| diff to current
2014-01-10	Andrew Reynolds	Add stats to quantifiers conflict find. Added option...	blob \| commitdiff \| raw \| diff to current
2014-01-10	Andrew Reynolds	Add new method --quant-cf for finding conflicts eagerly...	blob \| commitdiff \| raw \| diff to current