projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7df24c6 ef00009)
Merge pull request #58 from mdeters/smt-attributes
authorMorgan Deters <mdeters@morgandeters.com>
Tue, 14 Oct 2014 21:52:08 +0000 (17:52 -0400)
committerMorgan Deters <mdeters@morgandeters.com>
Tue, 14 Oct 2014 21:52:08 +0000 (17:52 -0400)
Context-dependent expr attributes are now attached to a specific SmtEngine, and the SAT context is owned by the SmtEngine.


Trivial merge