projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bfab88c c30a342)
Merge pull request #48 from kbansal/segfaultfix
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 11 Jul 2014 00:11:04 +0000 (20:11 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 11 Jul 2014 00:11:04 +0000 (20:11 -0400)
Segfaultfix


Trivial merge