git.libre-soc.org Git - cvc5.git/history

2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw
2015-10-26	Tim King	This commit fixes a bug related to a public header...	blob \| commitdiff \| raw \| diff to current
2015-10-25	Kshitij Bansal	Revert "Default builds are now proof enabled."	blob \| commitdiff \| raw \| diff to current
2015-10-24	Tim King	Changes configure.ac so that the single recurisve invoc...	blob \| commitdiff \| raw \| diff to current
2015-10-12	Kshitij Bansal	Merge pull request #76 from CVC4/proofs	blob \| commitdiff \| raw \| diff to current
2015-10-11	Liana Hadarean	Default builds are now proof enabled.	blob \| commitdiff \| raw \| diff to current
2015-10-09	Liana Hadarean	Temporary reverting commit 477e72b (proofs as default...	blob \| commitdiff \| raw \| diff to current
2015-10-07	Liana Hadarean	Default builds are now proof enabled.	blob \| commitdiff \| raw \| diff to current
2015-02-12	Tim King	Changing CXXFLAGS for custom cln installation in config...	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-19	Tim King	Adding an additional search path to configure.ac for...	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-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-27	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-26	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-17	Kshitij Bansal	Merge branch '1.4.x' while ignoring commit 8d5eb49.	blob \| commitdiff \| raw \| diff to current
2014-09-17	Kshitij Bansal	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-22	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-22	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-19	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-18	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-13	Morgan Deters	To avoid confusion, permit --enable-staticbinary as...	blob \| commitdiff \| raw \| diff to current
2014-07-13	Morgan Deters	Versioning for master.	blob \| commitdiff \| raw \| diff to current
2014-07-13	Morgan Deters	New versioning for development version.	blob \| commitdiff \| raw \| diff to current
2014-07-13	Morgan Deters	Cutting release 1.4.	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	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	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Minor language bindings fixes.	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	lianah	Merge pull request #35 from mdeters/bv-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-21	Morgan Deters	Adjust library dependencies to be more correct (fixes...	blob \| commitdiff \| raw \| diff to current
2014-06-19	Morgan Deters	Fix for mac readline.	blob \| commitdiff \| raw \| diff to current
2014-06-19	Morgan Deters	Fix for pre-C++11 is_sorted().	blob \| commitdiff \| raw \| diff to current
2014-06-19	Morgan Deters	No more dependence on libstdc++ or PBDS stuff: remove...	blob \| commitdiff \| raw \| diff to current
2014-06-19	Morgan Deters	get-glpk-cut-log script, and configure code.	blob \| commitdiff \| raw \| diff to current
2014-06-18	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-06-18	Morgan Deters	Fix for mac readline.	blob \| commitdiff \| raw \| diff to current
2014-06-18	Morgan Deters	Fix for pre-C++11 is_sorted().	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	No more dependence on libstdc++ or PBDS stuff: remove...	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	get-glpk-cut-log script, and configure code.	blob \| commitdiff \| raw \| diff to current
2014-06-16	Morgan Deters	get-glpk-cut-log script, and configure code.	blob \| commitdiff \| raw \| diff to current
2014-06-11	Morgan Deters	Some clean-up, post bv-merge.	blob \| commitdiff \| raw \| diff to current
2014-06-10	lianah	Merging CAV14 paper bit-vector work.	blob \| commitdiff \| raw \| diff to current
2014-05-30	Morgan Deters	Fix personal.mk for some make targets.	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	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-08	Morgan Deters	Switch license default back to BSD, and add --best...	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-19	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-12-18	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-18	Morgan Deters	Fix an autoconf issue with CLN in some configurations...	blob \| commitdiff \| raw \| diff to current
2013-12-18	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-18	Morgan Deters	Fix configure handling for CLN (should fix win32 nightl...	blob \| commitdiff \| raw \| diff to current
2013-12-18	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-18	Morgan Deters	Reduce autoconf version for dependence (should fix...	blob \| commitdiff \| raw \| diff to current
2013-12-18	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-12-17	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-17	Morgan Deters	configure --with-portfolio disables CLN.	blob \| commitdiff \| raw \| diff to current
2013-12-17	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-12-17	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-17	Morgan Deters	some config changes: new --bsd option, readline gives...	blob \| commitdiff \| raw \| diff to current
next

RSS Atom