projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 848ca51 a35a8b1)
Merge pull request #54 from kbansal/bugfix_setssegfault
authorMorgan Deters <mdeters@morgandeters.com>
Thu, 2 Oct 2014 17:10:51 +0000 (13:10 -0400)
committerMorgan Deters <mdeters@morgandeters.com>
Thu, 2 Oct 2014 17:10:51 +0000 (13:10 -0400)
fix getModelValue(<non-preregistered term>)


Trivial merge