projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b0e8bd) | patch
some config changes: new --bsd option, readline gives warning, default build is now...
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Dec 2013 17:40:50 +0000 (12:40 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Dec 2013 22:12:57 +0000 (17:12 -0500)
commit464bbe3b057bde32b9e0e1aa1f989818dba585db
treeed9557aaa18b744bcc1766668d42534ff3f6d402tree
parent6b0e8bdbe37c3a04ba43fb379270df4726502a63commit | diff
some config changes: new --bsd option, readline gives warning, default build is now production.
COPYING diff | blob | history
INSTALL diff | blob | history
NEWS diff | blob | history
README diff | blob | history
config/cvc4.m4 diff | blob | history
config/readline.m4 diff | blob | history
configure.ac diff | blob | history
src/main/options diff | blob | history
src/util/configuration.h diff | blob | history
src/util/configuration_private.h diff | blob | history