projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b02943d) | patch
Eliminate static access to dtSharedSelectors (#8804)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 May 2022 20:16:40 +0000 (15:16 -0500)
committerGitHub <noreply@github.com>
Wed, 25 May 2022 20:16:40 +0000 (20:16 +0000)
commit19b18be61c365f8506785a41244b74d008fa5976
treec2ca8c0d90b1ec2669c732090cb53dde3c111efetree
parentb02943d28e641ff894c50bee810309b783731555commit | diff
Eliminate static access to dtSharedSelectors (#8804)

Towards eliminating option scopes.
23 files changed:
src/expr/dtype_cons.cpp diff | blob | history
src/expr/dtype_cons.h diff | blob | history
src/theory/datatypes/datatypes_rewriter.cpp diff | blob | history
src/theory/datatypes/datatypes_rewriter.h diff | blob | history
src/theory/datatypes/proof_checker.cpp diff | blob | history
src/theory/datatypes/proof_checker.h diff | blob | history
src/theory/datatypes/sygus_extension.cpp diff | blob | history
src/theory/datatypes/sygus_extension.h diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes_utils.cpp diff | blob | history
src/theory/datatypes/theory_datatypes_utils.h diff | blob | history
src/theory/datatypes/tuple_utils.cpp diff | blob | history
src/theory/quantifiers/cegqi/ceg_dt_instantiator.cpp diff | blob | history
src/theory/quantifiers/ematching/candidate_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/candidate_generator.h diff | blob | history
src/theory/quantifiers/ematching/inst_match_generator.cpp diff | blob | history
src/theory/quantifiers/fmf/bounded_integers.cpp diff | blob | history
src/theory/quantifiers/skolemize.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_eval_unfold.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_explain.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_explain.h diff | blob | history
src/theory/quantifiers/sygus/term_database_sygus.cpp diff | blob | history
src/theory/quantifiers/sygus_inst.cpp diff | blob | history