projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6991f30) | patch
Switch license default back to BSD, and add --best and --enable-gpl options.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 8 Jan 2014 20:27:26 +0000 (15:27 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 8 Jan 2014 20:27:26 +0000 (15:27 -0500)
commit312918e68d4410359b55258dc2b9e9cdfb21f211
treea2c733aec7957b5b9d0a0b3bd448c5b47c5d5c3ftree
parent6991f30f87149638d05f621d72edb6483d5d83accommit | diff
Switch license default back to BSD, and add --best and --enable-gpl options.
COPYING diff | blob | history
NEWS diff | blob | history
config/cvc4.m4 diff | blob | history
config/readline.m4 diff | blob | history
configure.ac diff | blob | history