From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 5 Feb 2013 21:24:02 +0000 (-0500)
Subject: Merge remote-tracking branch 'origin/1.0.x'
X-Git-Tag: cvc5-1.0.0~7422
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2704a810d79b0c47b634fd06032da6490b82db71;p=cvc5.git

Merge remote-tracking branch 'origin/1.0.x'
---

2704a810d79b0c47b634fd06032da6490b82db71