projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3e16e4) | patch
Enable -Werror. (#5969)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 25 Feb 2021 00:26:44 +0000 (16:26 -0800)
committerGitHub <noreply@github.com>
Thu, 25 Feb 2021 00:26:44 +0000 (16:26 -0800)
commite36aeda0e759c5328ba76412dde8afbecf34970b
tree47f6795c587710c78cc558abbb3576f397c7e3b7tree
parentc3e16e447aed037806f874a54ae74d6850415fd7commit | diff
Enable -Werror. (#5969)
15 files changed:
CMakeLists.txt diff | blob | history
src/api/cvc4cpp.cpp diff | blob | history
src/api/python/CMakeLists.txt diff | blob | history
src/expr/node_trie.cpp diff | blob | history
src/parser/CMakeLists.txt diff | blob | history
src/preprocessing/passes/bv_to_int.cpp diff | blob | history
src/theory/arith/nl/poly_conversion.cpp diff | blob | history
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/booleans/circuit_propagator.cpp diff | blob | history
src/theory/booleans/circuit_propagator.h diff | blob | history
src/theory/booleans/proof_checker.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_match_generator_simple.cpp diff | blob | history
src/theory/quantifiers/skolemize.cpp diff | blob | history
src/util/real_algebraic_number_poly_imp.cpp diff | blob | history
test/unit/theory/logic_info_white.cpp diff | blob | history