From: Kshitij Bansal Date: Tue, 7 Oct 2014 23:17:11 +0000 (-0400) Subject: Merge remote-tracking branch 'upstream/master' into sets-mergable X-Git-Tag: cvc5-1.0.0~6578 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4145ab467a6aaf25c61d0b614000d9d2d4b0321b;p=cvc5.git Merge remote-tracking branch 'upstream/master' into sets-mergable --- 4145ab467a6aaf25c61d0b614000d9d2d4b0321b