projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e6e153) | patch
Fix miscellaneous warnings (#5256)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 20 Oct 2020 18:33:34 +0000 (13:33 -0500)
committerGitHub <noreply@github.com>
Tue, 20 Oct 2020 18:33:34 +0000 (13:33 -0500)
commita0ccf529025b86d368dac6b8c4f6b78a97857f4b
tree59296cae7f8d5e3659ca48c75dabcb9ca6decc78tree
parent0e6e153a78843b134d943f5d1ec33e254d0fb2fecommit | diff
Fix miscellaneous warnings (#5256)

Mostly in cardinality extension, which was cleaned in the previous PR.
src/smt/listeners.cpp diff | blob | history
src/theory/builtin/proof_checker.cpp diff | blob | history
src/theory/bv/bv_subtheory_algebraic.cpp diff | blob | history
src/theory/uf/cardinality_extension.cpp diff | blob | history
src/theory/uf/cardinality_extension.h diff | blob | history