From: Kshitij Bansal Date: Wed, 18 Jun 2014 20:11:32 +0000 (-0400) Subject: Merge remote-tracking branch 'upstream/master' into sets X-Git-Tag: cvc5-1.0.0~6758^2~5 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=95222acded015b0ad32a36e08dc808a879f5c833;p=cvc5.git Merge remote-tracking branch 'upstream/master' into sets --- 95222acded015b0ad32a36e08dc808a879f5c833