From: Morgan Deters Date: Tue, 14 Oct 2014 21:52:08 +0000 (-0400) Subject: Merge pull request #58 from mdeters/smt-attributes X-Git-Tag: cvc5-1.0.0~6562 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=baa7fe50c03a2e79fb179ed3aee97c0bbb428eb9;p=cvc5.git Merge pull request #58 from mdeters/smt-attributes Context-dependent expr attributes are now attached to a specific SmtEngine, and the SAT context is owned by the SmtEngine. --- baa7fe50c03a2e79fb179ed3aee97c0bbb428eb9