projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bfa95f) | patch
reflect in build strings that -gmp is now the default and -cln is an option
authorMorgan Deters <mdeters@gmail.com>
Wed, 1 Sep 2010 22:20:43 +0000 (22:20 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 1 Sep 2010 22:20:43 +0000 (22:20 +0000)
commit594696734e9bd18b1ecc31d3b65a6001bae452a5
treea7374e4cfcc34d3c8854616ca426e99543c187e1tree
parent3bfa95fd5044257e41b5276dea2e0f3ac036f457commit | diff
reflect in build strings that -gmp is now the default and -cln is an option
config/build-type diff | blob | history