projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00a1a56) | patch
Remove `CVC5Message` (#7610)
authorGereon Kremer <nafur42@gmail.com>
Tue, 9 Nov 2021 01:55:09 +0000 (17:55 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 01:55:09 +0000 (01:55 +0000)
commit7391d16bf8669060043e9cff17b9e76ff15ef19e
tree91a1e07be7e028bfd8374e9131849255c2c1034ftree
parent00a1a56f4afc93fc5e7aab7f3d4cc04b6232d96ccommit | diff
Remove `CVC5Message` (#7610)

This PR removes the few remaining usages of the CVC5Message() and gets rid of the whole thing.
src/base/output.cpp diff | blob | history
src/base/output.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/preprocessing/passes/unconstrained_simplifier.cpp diff | blob | history
src/theory/quantifiers/fmf/full_model_check.cpp diff | blob | history
src/theory/quantifiers/quantifiers_attributes.cpp diff | blob | history
src/theory/substitutions.cpp diff | blob | history
src/theory/substitutions.h diff | blob | history
src/theory/uf/cardinality_extension.cpp diff | blob | history
test/unit/util/output_black.cpp diff | blob | history