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

2018-09-13	Andrew Reynolds	Decision strategy: incorporate CEGQI (#2460)	blob \| commitdiff \| raw
2018-09-10	Andrew Reynolds	Squash implementation of counterexample-guided instanti...	blob \| commitdiff \| raw \| diff to current
2018-08-24	Andrew Reynolds	Fix more simple coverity warnings (#2372)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-30	Andrew Reynolds	Fixes for quantifiers + incremental (#2009)	blob \| commitdiff \| raw \| diff to current
2018-05-08	Andrew Reynolds	Infrastructure for CEGQI handled status (#1873)	blob \| commitdiff \| raw \| diff to current
2018-03-05	Mathias Preiner	Enable -Wsuggest-override by default. (#1643)	blob \| commitdiff \| raw \| diff to current
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current