git.libre-soc.org Git - cvc5.git/commit

author	Gereon Kremer <nafur42@gmail.com>
	Fri, 5 Nov 2021 01:16:12 +0000 (18:16 -0700)
committer	GitHub <noreply@github.com>
	Fri, 5 Nov 2021 01:16:12 +0000 (01:16 +0000)
commit	4669bb1ab2fce322cd8e3e172e57f0aa3006e1d7
tree	a96dbf6ee19c1be29b24a2b92fd38dad9553a443	tree
parent	6d947b4f85d005681ff438c6bd8ef7bba557be10	commit \| diff

Eliminate `Warning` macro in favor of `EnvObj::warning` (#7575)

This PR eliminates almost all usages of the Warning macro, replacing it mostly by calling EnvObj::warning.

26 files changed:

src/preprocessing/passes/miplib_trick.cpp		diff \| blob \| history
src/preprocessing/passes/sep_skolem_emp.cpp		diff \| blob \| history
src/smt/env.cpp		diff \| blob \| history
src/smt/env.h		diff \| blob \| history
src/smt/preprocessor.cpp		diff \| blob \| history
src/smt/process_assertions.cpp		diff \| blob \| history
src/smt/proof_post_processor.cpp		diff \| blob \| history
src/smt/proof_post_processor.h		diff \| blob \| history
src/smt/set_defaults.cpp		diff \| blob \| history
src/smt/solver_engine.cpp		diff \| blob \| history
src/theory/arith/linear_equality.cpp		diff \| blob \| history
src/theory/arith/linear_equality.h		diff \| blob \| history
src/theory/arith/nl/cad_solver.cpp		diff \| blob \| history
src/theory/arith/nl/cad_solver.h		diff \| blob \| history
src/theory/arith/nl/poly_conversion.cpp		diff \| blob \| history
src/theory/arith/tableau.h		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
src/theory/arith/theory_arith_private.cpp		diff \| blob \| history
src/theory/booleans/circuit_propagator.cpp		diff \| blob \| history
src/theory/booleans/circuit_propagator.h		diff \| blob \| history
src/theory/quantifiers/sygus/ce_guided_single_inv.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_reconstruct.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_reconstruct.h		diff \| blob \| history
src/theory/quantifiers/sygus/synth_conjecture.cpp		diff \| blob \| history
src/theory/uf/equality_engine.cpp		diff \| blob \| history
src/theory/uf/equality_engine.h		diff \| blob \| history

RSS Atom