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

[cvc5.git] / src / theory / quantifiers / candidate_generator.h

2014-10-11	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-10	Kshitij Bansal	Merge remote-tracking branch 'origin/1.4.x'	blob \| commitdiff \| raw
2014-10-09	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-10-02	Morgan Deters	Merge branch '1.4.x'.	blob \| commitdiff \| raw
2014-09-30	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-09-27	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-09-26	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-09-17	Kshitij Bansal	Merge branch '1.4.x' while ignoring commit 8d5eb49.	blob \| commitdiff \| raw
2014-09-17	Kshitij Bansal	Merge branch '1.4.x'	blob \| commitdiff \| raw
2014-09-16	ajreynol	Bug fix variable triggers with --inst-max-level : use...	blob \| commitdiff \| raw
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-19	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-27	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-18	Andrew Reynolds	Performance optimization for E-matching, working on...	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-24	Andrew Reynolds	Add options for symmetry breaking in uf+ss totality...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2012-10-16	Andrew Reynolds	first draft of new inst gen method (still with bugs...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Moving some instantiation-related stuff from src/theory...	blob \| commitdiff \| raw \| diff to current

RSS Atom