projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5aaebb) | patch
pp passes: Use EnvObj::rewrite() instead of Rewriter::rewrite(). (#7164)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 9 Sep 2021 21:33:08 +0000 (14:33 -0700)
committerGitHub <noreply@github.com>
Thu, 9 Sep 2021 21:33:08 +0000 (21:33 +0000)
commit44657985f2d52f58803cf64cf9da93e6419ade35
treeb0afc9f1a0fd2385ab67792db927fd3b6eec42e4tree
parente5aaebbbc5ea11b0cb3468169e5c80bf38868c82commit | diff
pp passes: Use EnvObj::rewrite() instead of Rewriter::rewrite(). (#7164)
28 files changed:
src/preprocessing/passes/bool_to_bv.cpp diff | blob | history
src/preprocessing/passes/bv_abstraction.cpp diff | blob | history
src/preprocessing/passes/bv_gauss.cpp diff | blob | history
src/preprocessing/passes/bv_gauss.h diff | blob | history
src/preprocessing/passes/bv_intro_pow2.cpp diff | blob | history
src/preprocessing/passes/bv_to_bool.cpp diff | blob | history
src/preprocessing/passes/bv_to_int.cpp diff | blob | history
src/preprocessing/passes/foreign_theory_rewrite.cpp diff | blob | history
src/preprocessing/passes/fun_def_fmf.cpp diff | blob | history
src/preprocessing/passes/global_negate.cpp diff | blob | history
src/preprocessing/passes/ho_elim.cpp diff | blob | history
src/preprocessing/passes/int_to_bv.cpp diff | blob | history
src/preprocessing/passes/ite_removal.cpp diff | blob | history
src/preprocessing/passes/learned_rewrite.cpp diff | blob | history
src/preprocessing/passes/miplib_trick.cpp diff | blob | history
src/preprocessing/passes/miplib_trick.h diff | blob | history
src/preprocessing/passes/nl_ext_purify.cpp diff | blob | history
src/preprocessing/passes/pseudo_boolean_processor.cpp diff | blob | history
src/preprocessing/passes/quantifiers_preprocess.cpp diff | blob | history
src/preprocessing/passes/real_to_int.cpp diff | blob | history
src/preprocessing/passes/rewrite.cpp diff | blob | history
src/preprocessing/passes/sep_skolem_emp.cpp diff | blob | history
src/preprocessing/passes/sort_infer.cpp diff | blob | history
src/preprocessing/passes/static_learning.cpp diff | blob | history
src/preprocessing/passes/strings_eager_pp.cpp diff | blob | history
src/preprocessing/passes/sygus_inference.cpp diff | blob | history
src/preprocessing/passes/unconstrained_simplifier.cpp diff | blob | history
test/unit/preprocessing/pass_bv_gauss_white.cpp diff | blob | history