projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1b9172) | patch
Reduce autoconf version for dependence (should fix 32-bit builds).
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 18 Dec 2013 16:11:34 +0000 (11:11 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 18 Dec 2013 16:11:34 +0000 (11:11 -0500)
commit41edd72a1af4e6fbfb3de50cfe6cd221ca034d46
tree4b15e958e3355cd5e416e0239c9ee7620a468c07tree
parentc1b9172df7d56eb691aa93c823deb9c65368659ecommit | diff
Reduce autoconf version for dependence (should fix 32-bit builds).
configure.ac diff | blob | history
proofs/lfsc_checker/configure.ac diff | blob | history