projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1571e73) | patch
Disabling semantic checks in competition mode.
authorChristopher L. Conway <christopherleeconway@gmail.com>
Tue, 4 May 2010 21:57:57 +0000 (21:57 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Tue, 4 May 2010 21:57:57 +0000 (21:57 +0000)
commit65d24277bfb9f76b612fa51770d5d63e1d34b528
tree023841d60bff520093c40ffeddf40288b97615d3tree
parent1571e73e83ecb5fec2f2ddd599bd3823e8f532e7commit | diff
Disabling semantic checks in competition mode.
Adding function debugTagIsOn to safely test for tracing in any
compilation mode.
Removing irrelevant command-line options from usage message
in muzzled mode.
configure.ac diff | blob | history
src/context/context.cpp diff | blob | history
src/main/getopt.cpp diff | blob | history
src/main/main.cpp diff | blob | history
src/main/usage.h diff | blob | history
src/util/options.h diff | blob | history
src/util/output.h diff | blob | history