From: Kshitij Bansal Date: Wed, 19 Nov 2014 02:50:33 +0000 (-0500) Subject: Merge pull request #70 from kbansal/sets-for-merge-squashed X-Git-Tag: cvc5-1.0.0~6484 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1d2a3e5ac2a901d04082205c95cb6b1dc9da0cc4;p=cvc5.git Merge pull request #70 from kbansal/sets-for-merge-squashed Set Constant's normal form and other short fixes --- 1d2a3e5ac2a901d04082205c95cb6b1dc9da0cc4