git.libre-soc.org Git - cvc5.git/history - src/main/driver

[cvc5.git] / src / main / driver_unified.cpp

2015-10-11	Kshitij Bansal	fix regression tests, support fallback mode for proofs	blob \| commitdiff \| raw
2015-07-28	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2015-07-25	ajreynol	Add option --sygus-inv-templ for synthesizing strengthe...	blob \| commitdiff \| raw \| diff to current
2015-06-12	ajreynol	Make sygus an output language. Parse declare-fun in...	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-03-31	Kshitij Bansal	fix echo command in --tear-down-incremental	blob \| commitdiff \| raw \| diff to current
2015-02-06	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2015-01-30	ajreynol	Generalize conflict clauses in sygus sym break, merge...	blob \| commitdiff \| raw \| diff to current
2015-01-14	Morgan Deters	sygus input language and benchmark	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-17	Liana Hadarean	Resource-limiting work.	blob \| commitdiff \| raw \| diff to current
2014-11-12	Morgan Deters	Fix tokenization of "reset" in SMT-LIB v2.0. It's...	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-23	Morgan Deters	Parsing and infrastructure support for SMT-LIBv2.5...	blob \| commitdiff \| raw \| diff to current
2014-10-17	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-16	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-11	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-10	Kshitij Bansal	Merge remote-tracking branch 'origin/1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-09	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-02	Morgan Deters	Merge branch '1.4.x'.	blob \| commitdiff \| raw \| diff to current
2014-09-30	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-30	Morgan Deters	Fix improper #inclusion of private header outside library.	blob \| commitdiff \| raw \| diff to current
2014-09-30	Morgan Deters	Fix a command-replay bug in tear-down-incremental mode...	blob \| commitdiff \| raw \| diff to current
2014-09-30	Morgan Deters	Proofs- and cores-related segfault fixes (mainly a...	blob \| commitdiff \| raw \| diff to current
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-07-01	Morgan Deters	Merge pull request #44 from mdeters/prio-queue-updates	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Merge pull request #45 from mdeters/turn-off-strings-exp	blob \| commitdiff \| raw \| diff to current
2014-06-30	Kshitij Bansal	Merge pull request #47 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-26	Kshitij Bansal	Merge pull request #46 from mdeters/bug573	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Potential fix for bug 573.	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #34 from mdeters/datatypes-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #37 from mdeters/quants-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #38 from mdeters/uf-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Kshitij Bansal	Merge pull request #43 from mdeters/threadstack	blob \| commitdiff \| raw \| diff to current
2014-06-25	Morgan Deters	Stack-size portfolio fix. If using Boost 1.50, --threa...	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Merge tag 'smtcomp2014-application'	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	QuitCommand needs "success" output for trace executor...	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Final fixes for smtcomp2014-application.	blob \| commitdiff \| raw \| diff to current
2014-06-19	Morgan Deters	Some reversions of recent commits re: portfolio failure.	blob \| commitdiff \| raw \| diff to current
2014-06-19	Morgan Deters	More application-track fixes for use with trace executor.	blob \| commitdiff \| raw \| diff to current
2014-06-19	Morgan Deters	Some fixes for tear-down-incremental and "success"...	blob \| commitdiff \| raw \| diff to current
2014-06-18	Morgan Deters	Some reversions of recent commits re: portfolio failure.	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	Some reversions of recent commits re: portfolio failure.	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	More application-track fixes for use with trace executor.	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	Some fixes for tear-down-incremental and "success"...	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	More application-track fixes for use with trace executor.	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	Some fixes for tear-down-incremental and "success"...	blob \| commitdiff \| raw \| diff to current
2014-06-16	Morgan Deters	Careful there aren't too many "success" messages with...	blob \| commitdiff \| raw \| diff to current
2014-06-06	Kshitij Bansal	Merge pull request #28 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-06	Kshitij Bansal	option to hide stats which are zero (off by default...	blob \| commitdiff \| raw \| diff to current
2014-06-04	Morgan Deters	Fix usability issue with tear-down incremental mode.	blob \| commitdiff \| raw \| diff to current
2014-05-27	Kshitij Bansal	Merge pull request #27 from kbansal/statistics	blob \| commitdiff \| raw \| diff to current
2014-05-27	Morgan Deters	New --tear-down-incremental mode, useful for debugging...	blob \| commitdiff \| raw \| diff to current
2014-04-06	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2014-04-06	Tim King	Merge pull request #21 from pcc/ite-fix	blob \| commitdiff \| raw \| diff to current
2014-04-06	Kshitij Bansal	fix for hiding prompt/header in shell, error-behavior...	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-21	Kshitij Bansal	Merge pull request #22 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-03-19	Morgan Deters	Set dumping options from (set-option..) and API more...	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	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-17	Kshitij Bansal	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-09	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-08	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-02	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-27	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-26	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-12-24	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-24	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-23	Morgan Deters	Proof-checking code; fixups of segfaults and missing...	blob \| commitdiff \| raw \| diff to current
2013-12-22	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-22	Morgan Deters	Fix to interactive mode determination.	blob \| commitdiff \| raw \| diff to current
2013-12-03	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-29	Morgan Deters	Fix portfolio compile error.	blob \| commitdiff \| raw \| diff to current
2013-11-27	Morgan Deters	Incremental is now on by default when using from API...	blob \| commitdiff \| raw \| diff to current
2013-11-11	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-11	Morgan Deters	Change exit status to be more consistent with other...	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-08-13	Morgan Deters	--segv-nospin is now default.	blob \| commitdiff \| raw \| diff to current
2013-07-11	Morgan Deters	Support for TPTP's TFF0 (with arithmetic)	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
next

RSS Atom