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

2013-11-12	Morgan Deters	Minor portfolio fixes for some platforms.	blob \| commitdiff \| raw
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-13	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-09-12	Kshitij Bansal	fix bug 534: portfolio define-fun duplicate model	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
2012-11-28	Kshitij Bansal	fix a potential race (have failed to reproduce)	blob \| commitdiff \| raw \| diff to current
2012-10-19	Kshitij Bansal	Fix problem with incremental with portfolio. Fixes...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-08	Kshitij Bansal	Single driver for both sequential and portfolio	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current
2012-02-20	Morgan Deters	portfolio merge	blob \| commitdiff \| raw \| diff to current