projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 22df6e9 a68c6b0)
Merge remote-tracking branch 'CVC4root/master'
authorTim King <taking@cs.nyu.edu>
Mon, 25 Nov 2013 23:41:06 +0000 (18:41 -0500)
committerTim King <taking@cs.nyu.edu>
Mon, 25 Nov 2013 23:41:06 +0000 (18:41 -0500)

Trivial merge