projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0b75194 62e9f6d)
Merge pull request #2 from CVC4/1.0.x
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 12 Dec 2012 22:32:14 +0000 (14:32 -0800)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 12 Dec 2012 22:32:14 +0000 (14:32 -0800)
1.0.x


Trivial merge