From: Clark Barrett Date: Sat, 12 Nov 2016 23:27:13 +0000 (-0800) Subject: Merge pull request #107 from timothy-king/smt1-parser-exception-leaks X-Git-Tag: cvc5-1.0.0~5980 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f2cb814468472e533163f1d31cb08dfe3eacbe32;p=cvc5.git Merge pull request #107 from timothy-king/smt1-parser-exception-leaks Adding garbage collection for the Smt1 Parser for Commands when… --- f2cb814468472e533163f1d31cb08dfe3eacbe32