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

2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw
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-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-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	Some cleanup and copyright updating	blob \| commitdiff \| raw \| diff to current
2012-09-25	Morgan Deters	fix some Mac issues	blob \| commitdiff \| raw \| diff to current
2012-08-29	Morgan Deters	* Numerous documentation fixes (fix doxygen warnings...	blob \| commitdiff \| raw \| diff to current
2011-09-23	Morgan Deters	interface cleanup, java bindings work	blob \| commitdiff \| raw \| diff to current
2011-09-20	Morgan Deters	Merge from "swig" branch: language binding for Java...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2010-07-03	Morgan Deters	With this commit come a number of changes to build...	blob \| commitdiff \| raw \| diff to current

RSS Atom