From: Tim King <taking@cs.nyu.edu>
Date: Sat, 15 Dec 2012 01:13:53 +0000 (-0500)
Subject: Merge remote-tracking branch 'main-repo/1.0.x' into 1.0.x
X-Git-Tag: cvc5-1.0.0~7391^2~37
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=52b4d02428cb002a612d3e286c68a556098e8104;p=cvc5.git

Merge remote-tracking branch 'main-repo/1.0.x' into 1.0.x
---

52b4d02428cb002a612d3e286c68a556098e8104