projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cf998dd 6782c2b)
Merge pull request #45 from mdeters/turn-off-strings-exp
authorMorgan Deters <mdeters@morgandeters.com>
Tue, 1 Jul 2014 03:14:45 +0000 (23:14 -0400)
committerMorgan Deters <mdeters@morgandeters.com>
Tue, 1 Jul 2014 03:14:45 +0000 (23:14 -0400)
Turn strings-exp off by default (for the release)


Trivial merge