projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02dd485) | patch
Clean up remaining raw uses of output channel (#6161)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 21 Mar 2021 13:12:11 +0000 (08:12 -0500)
committerGitHub <noreply@github.com>
Sun, 21 Mar 2021 13:12:11 +0000 (13:12 +0000)
commit09097cd3b9cd3233b938ace34f3513a16ac17f80
treeb889e15b487582e810db61b64dade7e6a14d225btree
parent02dd48563db0c5effd608eda70d4c262309322a6commit | diff
Clean up remaining raw uses of output channel (#6161)

After this PR, with only a few exceptions, all calls to output channel for lemmas, conflicts are made through inference manager.

This is work towards standardizing the statistics for theories.
src/theory/arith/nl/nonlinear_extension.h diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/fp/theory_fp.cpp diff | blob | history
src/theory/fp/theory_fp.h diff | blob | history
src/theory/inference_id.cpp diff | blob | history
src/theory/inference_id.h diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history