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

2015-04-26	ajreynol	Bug fixes and improvements for mbqi with theory symbols...	blob \| commitdiff \| raw
2015-04-17	Kshitij Bansal	Merge pull request #72 from kbansal/decision-requirephase	blob \| commitdiff \| raw \| diff to current
2015-04-02	Kshitij Bansal	Merge pull request #71 from kbansal/const-are-triggers	blob \| commitdiff \| raw \| diff to current
2015-04-01	ajreynol	Improvements and bug fixes related to cbqi/cegqi. ...	blob \| commitdiff \| raw \| diff to current
2014-11-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-11-10	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-05	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-31	ajreynol	Do not allow duplication of function definitions. ...	blob \| commitdiff \| raw \| diff to current
2014-10-28	ajreynol	Preprocessing step for finding finite runs of well...	blob \| commitdiff \| raw \| diff to current
2014-10-28	ajreynol	Initial infrastructure for function definition quantifi...	blob \| commitdiff \| raw \| diff to current