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

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

2014-06-18	Morgan Deters	Some reversions of recent commits re: portfolio failure.	blob \| commitdiff \| raw
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
2013-03-27	lianah	Merge branch 'master' into bv-core	blob \| commitdiff \| raw \| diff to current
2013-03-26	Morgan Deters	Make --incremental the default when running interactively	blob \| commitdiff \| raw \| diff to current
2013-03-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-14	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-13	lianah	post failed attempts at getting the incremental solver...	blob \| commitdiff \| raw \| diff to current
2013-03-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-01	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-26	lianah	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-26	lianah	Merge branch '1.0.x' of https://github.com/CVC4/CVC4...	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge pull request #6 from kbansal/decNewoptions	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Fix version identification for new git repository.	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	prvs commit: lower warning to notice	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	make incremental+portfolio experimental	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge pull request #5 from kbansal/1.0.x	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	make incremental+portfolio experimental	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	driver::totalTime statistic is now reported correctly...	blob \| commitdiff \| raw \| diff to current
2013-02-03	Morgan Deters	correct output language bug with --dump-to	blob \| commitdiff \| raw \| diff to current
2013-02-02	lianah	merged master into branch	blob \| commitdiff \| raw \| diff to current
2013-01-31	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-30	Morgan Deters	correct output language bug with --dump-to	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-10-09	Kshitij Bansal	typo	blob \| commitdiff \| raw \| diff to current
2012-10-09	Kshitij Bansal	bugfix: isQuantified, bugfix: flush	blob \| commitdiff \| raw \| diff to current
2012-10-06	Morgan Deters	* Clean up some options documentation	blob \| commitdiff \| raw \| diff to current
2012-09-29	Morgan Deters	Fix a few segfaults in driver.	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	Public interface review items:	blob \| commitdiff \| raw \| diff to current
2012-09-27	Morgan Deters	* Rename SMT parts (printer, parser) to SMT1	blob \| commitdiff \| raw \| diff to current
2012-09-26	Morgan Deters	The Tuesday Afternoon Catch-All Commit (TACAC):	blob \| commitdiff \| raw \| diff to current
2012-09-24	Morgan Deters	Fix the memout issue seen in recent nightly regressions...	blob \| commitdiff \| raw \| diff to current
2012-09-22	Morgan Deters	Separate public-facing and internal-facing interfaces...	blob \| commitdiff \| raw \| diff to current
2012-09-21	Morgan Deters	better verbosity support (so it's sensible when the...	blob \| commitdiff \| raw \| diff to current
2012-09-14	Morgan Deters	Fix a few minor issues in options processing, improving...	blob \| commitdiff \| raw \| diff to current
2012-09-08	Morgan Deters	Some minor changes after reviewing the portfolio "unifi...	blob \| commitdiff \| raw \| diff to current
2012-09-08	Kshitij Bansal	Single driver for both sequential and portfolio	blob \| commitdiff \| raw \| diff to current

RSS Atom