projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 314e777) | patch
Making GMP default, CLN opt-in with --with-cln
authorChristopher L. Conway <christopherleeconway@gmail.com>
Tue, 24 Aug 2010 17:09:40 +0000 (17:09 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Tue, 24 Aug 2010 17:09:40 +0000 (17:09 +0000)
commitd8c37e4d1cbe1c99b1b5fc250085419b9de4e513
treecc2b037e1df5f0e7fa8254692729bdb26e823428tree
parent314e777887f32c8cf656dbc56f370da6dd0bf76ecommit | diff
Making GMP default, CLN opt-in with --with-cln
configure.ac diff | blob | history