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

2013-12-17	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw
2013-12-17	Morgan Deters	configure --with-portfolio disables CLN.	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
2013-12-17	Morgan Deters	First attempt at incorporating LFSC proof checker into...	blob \| commitdiff \| raw \| diff to current
2013-12-16	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-16	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-14	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-14	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-13	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-13	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-11	Morgan Deters	GLPK build identifier, license warnings.	blob \| commitdiff \| raw \| diff to current
2013-12-09	Morgan Deters	GLPK build identifier, license warnings.	blob \| commitdiff \| raw \| diff to current
2013-12-09	Kshitij Bansal	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-07	Kshitij Bansal	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-06	Morgan Deters	Initializing master for next version.	blob \| commitdiff \| raw \| diff to current
2013-12-06	Morgan Deters	Initializing 1.3.x branch.	blob \| commitdiff \| raw \| diff to current
2013-12-06	Morgan Deters	Cutting release 1.3.	blob \| commitdiff \| raw \| diff to current
2013-11-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-14	Morgan Deters	Minor fixes for Mac OS Mavericks	blob \| commitdiff \| raw \| diff to current
2013-11-12	Morgan Deters	Some additional explanation for a common configure...	blob \| commitdiff \| raw \| diff to current
2013-11-11	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-11-07	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-18	Morgan Deters	Support a personal build configuration and make rules.	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-07-29	Morgan Deters	Fix numerous compiler warnings on various platforms	blob \| commitdiff \| raw \| diff to current
2013-07-23	Morgan Deters	fix for win32 option parsing via mingw32	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-19	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-04	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-29	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-21	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-21	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-20	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-08	Morgan Deters	Prerelease versioning for 1.2.x	blob \| commitdiff \| raw \| diff to current
2013-05-08	Morgan Deters	Prerelease versioning for master	blob \| commitdiff \| raw \| diff to current
2013-05-08	Morgan Deters	Merge tag 'smteval2013'	blob \| commitdiff \| raw \| diff to current
2013-05-08	Morgan Deters	Cutting release 1.2.	blob \| commitdiff \| raw \| diff to current
2013-05-03	Tim King	Merging branch 'soiquickexplain'.	blob \| commitdiff \| raw \| diff to current
2013-05-03	Tim King	Merge branch 'fcexplanations'	blob \| commitdiff \| raw \| diff to current
2013-04-30	lianah	fixed merge conflicts	blob \| commitdiff \| raw \| diff to current
2013-04-29	Morgan Deters	Some fixes for GCC 4.2, and for Java on Mac	blob \| commitdiff \| raw \| diff to current
2013-04-29	Kshitij Bansal	Merge pull request #9 from kbansal/master	blob \| commitdiff \| raw \| diff to current
2013-04-29	Morgan Deters	Fixes to FCSimplex for some versions of compilers	blob \| commitdiff \| raw \| diff to current
2013-04-26	Tim King	FCSimplex branch merge	blob \| commitdiff \| raw \| diff to current
2013-04-24	Morgan Deters	Theory "alternates" support	blob \| commitdiff \| raw \| diff to current
2013-04-03	Morgan Deters	Prerelease versioning for master.	blob \| commitdiff \| raw \| diff to current
2013-04-03	Morgan Deters	Pre-release versioning	blob \| commitdiff \| raw \| diff to current
2013-04-03	Morgan Deters	Cutting release 1.1.	blob \| commitdiff \| raw \| diff to current
2013-04-01	Morgan Deters	Merging some cleanup work:	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	Fixes for warnings from clang++, from -std=gnu++0x...	blob \| commitdiff \| raw \| diff to current
2013-03-20	Liana Hadarean	merged master with dejan's constant evaluating equality...	blob \| commitdiff \| raw \| diff to current
2013-03-19	Morgan Deters	Remove PropositionalQuery class and all CUDD-related...	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-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-17	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Merge branch '1.0.x'	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	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Tim King	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-08	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Kshitij Bansal	Merge remote-tracking branch 'origin/1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	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	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-02	lianah	merged master into branch	blob \| commitdiff \| raw \| diff to current
2013-02-01	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-31	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-28	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-28	Morgan Deters	some fixes for win32, including ability to "make check...	blob \| commitdiff \| raw \| diff to current
2013-01-27	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-24	Morgan Deters	Add win32 support (merge from mdeters/win32, with some...	blob \| commitdiff \| raw \| diff to current
2012-12-18	Morgan Deters	Fix bug 483: readline checks must come after Boost...	blob \| commitdiff \| raw \| diff to current
2012-12-18	Morgan Deters	Fix bug 483: readline checks must come after Boost...	blob \| commitdiff \| raw \| diff to current
2012-12-06	Morgan Deters	version numbering	blob \| commitdiff \| raw \| diff to current
2012-12-03	Morgan Deters	version numbering	blob \| commitdiff \| raw \| diff to current
2012-12-01	Morgan Deters	Cutting release 1.0.	blob \| commitdiff \| raw \| diff to current
2012-11-29	Morgan Deters	Fix for hidden symbols in library on Mac. It's a stran...	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	fix for some Mac builds	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	give warning at configure-time about unsupported langua...	blob \| commitdiff \| raw \| diff to current
2012-11-12	Morgan Deters	* Fix language bindings: various issues	blob \| commitdiff \| raw \| diff to current
2012-11-05	Morgan Deters	fixes for mac os	blob \| commitdiff \| raw \| diff to current
2012-10-25	ACSYS	last build system fix for now: fix some typos affecting Mac	blob \| commitdiff \| raw \| diff to current
2012-10-25	Morgan Deters	extra quoting for special character	blob \| commitdiff \| raw \| diff to current
2012-10-25	ACSYS	more minor fixes to build system	blob \| commitdiff \| raw \| diff to current
2012-10-25	Morgan Deters	One of my changes to the build system yesterday broke...	blob \| commitdiff \| raw \| diff to current
2012-10-24	Morgan Deters	Includes many fixes to build system for Solaris (thanks...	blob \| commitdiff \| raw \| diff to current
2012-10-06	Morgan Deters	* Some documentation about building compatibility and...	blob \| commitdiff \| raw \| diff to current
2012-09-29	Morgan Deters	draft RELEASE-NOTES file, and minor release stuff	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	Public interface review items:	blob \| commitdiff \| raw \| diff to current
2012-09-25	Morgan Deters	fix	blob \| commitdiff \| raw \| diff to current
2012-09-25	Morgan Deters	fix some Mac issues	blob \| commitdiff \| raw \| diff to current
next

RSS Atom