From: Tim King <taking@cs.nyu.edu>
Date: Sun, 6 Apr 2014 22:41:32 +0000 (-0400)
Subject: Merge pull request #21 from pcc/ite-fix
X-Git-Tag: cvc5-1.0.0~6981^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b584097ab838c6855a86da36b900becb96354e55;p=cvc5.git

Merge pull request #21 from pcc/ite-fix

Fix for ite of >=64bit wide bitvectors with unconstrained condition.
---

b584097ab838c6855a86da36b900becb96354e55