From: Dejan Jovanović Date: Wed, 12 Dec 2012 22:30:09 +0000 (-0800) Subject: Merge pull request #1 from lianah/1.0.x X-Git-Tag: cvc5-1.0.0~7467^2 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=62e9f6d0a34d4f6623381429b51b65ddfae1e86d;p=cvc5.git Merge pull request #1 from lianah/1.0.x * fixed bug 481 by adding check for division by 0 in bit-vector division... --- 62e9f6d0a34d4f6623381429b51b65ddfae1e86d