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

author	Mathias Preiner <mathias.preiner@gmail.com>
	Mon, 5 Mar 2018 23:36:50 +0000 (15:36 -0800)
committer	GitHub <noreply@github.com>
	Mon, 5 Mar 2018 23:36:50 +0000 (15:36 -0800)
commit	3d31caa30e094d337a4919b3d1e6ba9259e461b8
tree	e99bc99c2ce450f7d0c4fa8c0938b24e886af996	tree
parent	a2e78ec8dd5e935b6ef166154be7ee35bffc6d32	commit \| diff

Enable -Wsuggest-override by default. (#1643)

Adds missing override keywords.

100 files changed:

configure.ac		diff \| blob \| history
src/base/output.h		diff \| blob \| history
src/context/cdhashmap.h		diff \| blob \| history
src/context/cdinsert_hashmap.h		diff \| blob \| history
src/context/cdlist.h		diff \| blob \| history
src/context/cdo.h		diff \| blob \| history
src/context/cdqueue.h		diff \| blob \| history
src/context/cdtrail_hashmap.h		diff \| blob \| history
src/decision/decision_strategy.h		diff \| blob \| history
src/decision/justification_heuristic.h		diff \| blob \| history
src/expr/node_manager_listeners.h		diff \| blob \| history
src/lib/Makefile.am		diff \| blob \| history
src/options/argument_extender_implementation.h		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/smt1/smt1.h		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
src/proof/arith_proof.h		diff \| blob \| history
src/proof/array_proof.h		diff \| blob \| history
src/proof/bitvector_proof.h		diff \| blob \| history
src/proof/cnf_proof.h		diff \| blob \| history
src/proof/sat_proof.h		diff \| blob \| history
src/proof/theory_proof.h		diff \| blob \| history
src/proof/uf_proof.h		diff \| blob \| history
src/prop/bvminisat/bvminisat.h		diff \| blob \| history
src/prop/bvminisat/simp/SimpSolver.h		diff \| blob \| history
src/prop/bvminisat/utils/Options.h		diff \| blob \| history
src/prop/cnf_stream.h		diff \| blob \| history
src/prop/minisat/minisat.h		diff \| blob \| history
src/prop/minisat/simp/SimpSolver.h		diff \| blob \| history
src/prop/minisat/utils/Options.h		diff \| blob \| history
src/prop/registrar.h		diff \| blob \| history
src/prop/sat_solver.h		diff \| blob \| history
src/smt/managed_ostreams.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/update_ostream.h		diff \| blob \| history
src/theory/arith/attempt_solution_simplex.h		diff \| blob \| history
src/theory/arith/callbacks.h		diff \| blob \| history
src/theory/arith/congruence_manager.h		diff \| blob \| history
src/theory/arith/dual_simplex.h		diff \| blob \| history
src/theory/arith/fc_simplex.h		diff \| blob \| history
src/theory/arith/linear_equality.h		diff \| blob \| history
src/theory/arith/matrix.h		diff \| blob \| history
src/theory/arith/soi_simplex.h		diff \| blob \| history
src/theory/arrays/theory_arrays.h		diff \| blob \| history
src/theory/booleans/circuit_propagator.h		diff \| blob \| history
src/theory/booleans/theory_bool.h		diff \| blob \| history
src/theory/builtin/theory_builtin.h		diff \| blob \| history
src/theory/bv/bitblaster_template.h		diff \| blob \| history
src/theory/bv/bv_inequality_graph.h		diff \| blob \| history
src/theory/bv/bv_subtheory_algebraic.h		diff \| blob \| history
src/theory/bv/bv_subtheory_bitblast.h		diff \| blob \| history
src/theory/bv/bv_subtheory_core.h		diff \| blob \| history
src/theory/bv/bv_subtheory_inequality.h		diff \| blob \| history
src/theory/bv/type_enumerator.h		diff \| blob \| history
src/theory/datatypes/theory_datatypes.h		diff \| blob \| history
src/theory/fp/theory_fp.h		diff \| blob \| history
src/theory/idl/theory_idl.h		diff \| blob \| history
src/theory/quantifiers/anti_skolem.h		diff \| blob \| history
src/theory/quantifiers/cegqi/ceg_instantiator.h		diff \| blob \| history
src/theory/quantifiers/cegqi/ceg_t_instantiator.cpp		diff \| blob \| history
src/theory/quantifiers/cegqi/ceg_t_instantiator.h		diff \| blob \| history
src/theory/quantifiers/cegqi/inst_strategy_cbqi.h		diff \| blob \| history
src/theory/quantifiers/conjecture_generator.h		diff \| blob \| history
src/theory/quantifiers/ematching/ho_trigger.h		diff \| blob \| history
src/theory/quantifiers/ematching/inst_strategy_e_matching.h		diff \| blob \| history
src/theory/quantifiers/ematching/instantiation_engine.h		diff \| blob \| history
src/theory/quantifiers/equality_query.h		diff \| blob \| history
src/theory/quantifiers/first_order_model.h		diff \| blob \| history
src/theory/quantifiers/fmf/bounded_integers.h		diff \| blob \| history
src/theory/quantifiers/fmf/full_model_check.h		diff \| blob \| history
src/theory/quantifiers/fmf/model_builder.h		diff \| blob \| history
src/theory/quantifiers/fmf/model_engine.h		diff \| blob \| history
src/theory/quantifiers/fun_def_engine.h		diff \| blob \| history
src/theory/quantifiers/inst_propagator.h		diff \| blob \| history
src/theory/quantifiers/instantiate.h		diff \| blob \| history
src/theory/quantifiers/local_theory_ext.h		diff \| blob \| history
src/theory/quantifiers/quant_conflict_find.h		diff \| blob \| history
src/theory/quantifiers/quant_equality_engine.h		diff \| blob \| history
src/theory/quantifiers/quant_relevance.h		diff \| blob \| history
src/theory/quantifiers/quant_split.h		diff \| blob \| history
src/theory/quantifiers/relevant_domain.h		diff \| blob \| history
src/theory/quantifiers/rewrite_engine.h		diff \| blob \| history
src/theory/quantifiers/sygus/ce_guided_instantiation.h		diff \| blob \| history
src/theory/quantifiers/sygus/ce_guided_single_inv.h		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_invariance.h		diff \| blob \| history
src/theory/quantifiers/sygus_sampler.h		diff \| blob \| history
src/theory/quantifiers/term_database.h		diff \| blob \| history
src/theory/quantifiers/term_util.h		diff \| blob \| history
src/theory/sep/theory_sep.h		diff \| blob \| history
src/theory/sets/theory_sets_private.h		diff \| blob \| history
src/theory/shared_terms_database.h		diff \| blob \| history
src/theory/strings/theory_strings.h		diff \| blob \| history
src/theory/substitutions.h		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/theory/theory_model_builder.h		diff \| blob \| history
src/theory/theory_registrar.h		diff \| blob \| history
src/theory/type_enumerator.h		diff \| blob \| history
src/theory/uf/equality_engine.h		diff \| blob \| history
src/theory/uf/theory_uf.h		diff \| blob \| history
src/util/statistics_registry.h		diff \| blob \| history

RSS Atom