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

author	Tim King <taking@cs.nyu.edu>
	Fri, 21 Jul 2017 00:04:30 +0000 (17:04 -0700)
committer	GitHub <noreply@github.com>
	Fri, 21 Jul 2017 00:04:30 +0000 (17:04 -0700)
commit	8b0659e6cd342ae40b676781b5e819d5fd2b3af7
tree	5ac55f64d115b3e8865ce8f691f38da65fc82a94	tree
parent	6d82ee2d1f84065ff4a86f688a3b671b85728f80	commit \| diff

Moving from the gnu extensions for hash maps to the c++11 hash maps

* Replacing __gnu_cxx::hash_map with std::unordered_map.
* Replacing __gnu_cxx::hash_set with std::unordered_set.
* Replacing __gnu_cxx::hash with std::hash.
* Adding missing includes.

120 files changed:

configure.ac		diff \| blob \| history
examples/sets-translate/sets_translate.cpp		diff \| blob \| history
examples/simple_vc_compat_c.c		diff \| blob \| history
src/compat/cvc3_compat.cpp		diff \| blob \| history
src/compat/cvc3_compat.h		diff \| blob \| history
src/context/cdhashmap.h		diff \| blob \| history
src/context/cdhashmap_forward.h		diff \| blob \| history
src/context/cdinsert_hashmap.h		diff \| blob \| history
src/context/cdtrail_hashmap.h		diff \| blob \| history
src/context/cdtrail_hashmap_forward.h		diff \| blob \| history
src/cvc4.i		diff \| blob \| history
src/decision/justification_heuristic.h		diff \| blob \| history
src/expr/attribute_internals.h		diff \| blob \| history
src/expr/datatype.h		diff \| blob \| history
src/expr/expr_template.cpp		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/expr/record.h		diff \| blob \| history
src/expr/symbol_table.cpp		diff \| blob \| history
src/expr/symbol_table.h		diff \| blob \| history
src/expr/type_node.cpp		diff \| blob \| history
src/expr/type_node.h		diff \| blob \| history
src/expr/variable_type_map.h		diff \| blob \| history
src/parser/smt1/smt1.cpp		diff \| blob \| history
src/parser/smt1/smt1.h		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
src/parser/tptp/tptp.h		diff \| blob \| history
src/printer/dagification_visitor.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/proof_manager.h		diff \| blob \| history
src/proof/proof_output_channel.h		diff \| blob \| history
src/proof/proof_utils.h		diff \| blob \| history
src/proof/sat_proof.h		diff \| blob \| history
src/proof/skolemization_manager.cpp		diff \| blob \| history
src/proof/skolemization_manager.h		diff \| blob \| history
src/proof/theory_proof.h		diff \| blob \| history
src/proof/uf_proof.h		diff \| blob \| history
src/prop/bvminisat/core/Solver.cc		diff \| blob \| history
src/prop/bvminisat/core/Solver.h		diff \| blob \| history
src/prop/cnf_stream.h		diff \| blob \| history
src/prop/minisat/core/Solver.cc		diff \| blob \| history
src/prop/theory_proxy.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/term_formula_removal.h		diff \| blob \| history
src/smt_util/nary_builder.h		diff \| blob \| history
src/theory/arith/arith_ite_utils.h		diff \| blob \| history
src/theory/arith/arith_utilities.h		diff \| blob \| history
src/theory/arith/constraint.cpp		diff \| blob \| history
src/theory/arith/constraint.h		diff \| blob \| history
src/theory/arith/cut_log.h		diff \| blob \| history
src/theory/arith/dio_solver.cpp		diff \| blob \| history
src/theory/arith/dio_solver.h		diff \| blob \| history
src/theory/arith/pseudoboolean_proc.h		diff \| blob \| history
src/theory/arith/simplex.h		diff \| blob \| history
src/theory/arith/theory_arith_private.cpp		diff \| blob \| history
src/theory/arrays/array_info.h		diff \| blob \| history
src/theory/arrays/static_fact_manager.h		diff \| blob \| history
src/theory/arrays/theory_arrays.cpp		diff \| blob \| history
src/theory/arrays/theory_arrays.h		diff \| blob \| history
src/theory/arrays/theory_arrays_rewriter.h		diff \| blob \| history
src/theory/arrays/union_find.h		diff \| blob \| history
src/theory/booleans/circuit_propagator.h		diff \| blob \| history
src/theory/booleans/theory_bool_rewriter.cpp		diff \| blob \| history
src/theory/bv/abstraction.h		diff \| blob \| history
src/theory/bv/bitblaster_template.h		diff \| blob \| history
src/theory/bv/bv_eager_solver.h		diff \| blob \| history
src/theory/bv/bv_inequality_graph.h		diff \| blob \| history
src/theory/bv/bv_quick_check.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/bv_to_bool.h		diff \| blob \| history
src/theory/bv/bvintropow2.h		diff \| blob \| history
src/theory/bv/slicer.h		diff \| blob \| history
src/theory/bv/theory_bv.h		diff \| blob \| history
src/theory/bv/theory_bv_rewrite_rules_normalization.h		diff \| blob \| history
src/theory/bv/theory_bv_utils.h		diff \| blob \| history
src/theory/datatypes/theory_datatypes.h		diff \| blob \| history
src/theory/ite_utilities.cpp		diff \| blob \| history
src/theory/ite_utilities.h		diff \| blob \| history
src/theory/quantifiers/equality_infer.h		diff \| blob \| history
src/theory/quantifiers/inst_match.h		diff \| blob \| history
src/theory/quantifiers/quant_util.h		diff \| blob \| history
src/theory/quantifiers/term_database.cpp		diff \| blob \| history
src/theory/quantifiers/term_database.h		diff \| blob \| history
src/theory/quantifiers/theory_quantifiers.h		diff \| blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
src/theory/quantifiers_engine.h		diff \| blob \| history
src/theory/rewriter.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rels.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rels.h		diff \| blob \| history
src/theory/sets/theory_sets_rewriter.cpp		diff \| blob \| history
src/theory/shared_terms_database.h		diff \| blob \| history
src/theory/substitutions.h		diff \| blob \| history
src/theory/term_registration_visitor.h		diff \| blob \| history
src/theory/theory.cpp		diff \| blob \| history
src/theory/theory.h		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/theory/theory_model.cpp		diff \| blob \| history
src/theory/theory_model.h		diff \| blob \| history
src/theory/uf/equality_engine.h		diff \| blob \| history
src/theory/uf/symmetry_breaker.cpp		diff \| blob \| history
src/theory/uf/symmetry_breaker.h		diff \| blob \| history
src/theory/uf/theory_uf.cpp		diff \| blob \| history
src/theory/unconstrained_simplifier.h		diff \| blob \| history
src/util/cache.h		diff \| blob \| history
src/util/hash.h		diff \| blob \| history
src/util/hash.i		diff \| blob \| history
src/util/proof.h		diff \| blob \| history
src/util/regexp.cpp		diff \| blob \| history
src/util/regexp.h		diff \| blob \| history
test/unit/theory/type_enumerator_white.h		diff \| blob \| history

RSS Atom