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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Wed, 25 May 2022 22:51:38 +0000 (17:51 -0500)
committer	GitHub <noreply@github.com>
	Wed, 25 May 2022 22:51:38 +0000 (22:51 +0000)
commit	ef38a3b721c725eaff2c1dbf9cf828213a853758
tree	f68d523d1833809afd60404e07ee7f87c6548967	tree
parent	422e6f9fb08c8fefd3ca9380f2d7ab9aceb7ddaf	commit \| diff

Eliminate some static options access (#8795)

In preparation for eliminating options scopes.

19 files changed:

src/options/strings_options.toml		diff \| blob \| history
src/prop/sat_proof_manager.cpp		diff \| blob \| history
src/smt/abstract_values.cpp		diff \| blob \| history
src/smt/abstract_values.h		diff \| blob \| history
src/smt/command.cpp		diff \| blob \| history
src/smt/command.h		diff \| blob \| history
src/smt/preprocess_proof_generator.cpp		diff \| blob \| history
src/smt/proof_final_callback.cpp		diff \| blob \| history
src/smt/proof_final_callback.h		diff \| blob \| history
src/smt/proof_post_processor.cpp		diff \| blob \| history
src/smt/solver_engine.cpp		diff \| blob \| history
src/theory/datatypes/inference.cpp		diff \| blob \| history
src/theory/datatypes/inference_manager.cpp		diff \| blob \| history
src/theory/quantifiers/cegqi/ceg_instantiator.cpp		diff \| blob \| history
src/theory/quantifiers/cegqi/ceg_instantiator.h		diff \| blob \| history
src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/ce_guided_single_inv.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_repair_const.cpp		diff \| blob \| history
src/theory/strings/normal_form.cpp		diff \| blob \| history