From: Tim King <taking@cs.nyu.edu>
Date: Sat, 12 Nov 2016 00:44:19 +0000 (-0800)
Subject: Merge pull request #105 from timothy-king/delete-maxed-out
X-Git-Tag: cvc5-1.0.0~5983
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=51beecbceb28f30004bda32e0babf201bd1f94d6;p=cvc5.git

Merge pull request #105 from timothy-king/delete-maxed-out

Adding garbage collection of nodes with maxed out reference counts.
---

51beecbceb28f30004bda32e0babf201bd1f94d6