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

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Fri, 2 Mar 2012 20:38:23 +0000 (20:38 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Fri, 2 Mar 2012 20:38:23 +0000 (20:38 +0000)
commit	068107e1d1f705eb9054b4309a26236230687d80
tree	4c422f3efd6a8319abe426c518f9d2feb7ab5a6d	tree
parent	53176a3d39935bd77f1c057d0b806c380b346e23	commit \| diff

CDMap -> CDHashMap
CDSet -> CDHashSet

41 files changed:

.cproject		diff \| blob \| history
src/context/Makefile.am		diff \| blob \| history
src/context/cdhashmap.h	[new file with mode: 0644]	blob
src/context/cdhashmap_forward.h	[new file with mode: 0644]	blob
src/context/cdhashset.h	[new file with mode: 0644]	blob
src/context/cdhashset_forward.h	[new file with mode: 0644]	blob
src/context/cdmap.h	[deleted file]	blob \| history
src/context/cdmap_forward.h	[deleted file]	blob \| history
src/context/cdset.h	[deleted file]	blob \| history
src/context/cdset_forward.h	[deleted file]	blob \| history
src/context/context.h		diff \| blob \| history
src/expr/attribute_internals.h		diff \| blob \| history
src/expr/declaration_scope.cpp		diff \| blob \| history
src/expr/declaration_scope.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/theory/arith/arith_prop_manager.cpp		diff \| blob \| history
src/theory/arith/arith_prop_manager.h		diff \| blob \| history
src/theory/arith/arith_utilities.h		diff \| blob \| history
src/theory/arith/arithvar_node_map.h		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
src/theory/arith/theory_arith.h		diff \| blob \| history
src/theory/arrays/array_info.h		diff \| blob \| history
src/theory/arrays/theory_arrays.h		diff \| blob \| history
src/theory/booleans/circuit_propagator.h		diff \| blob \| history
src/theory/bv/bitblast_strategies.cpp		diff \| blob \| history
src/theory/bv/bv_sat.h		diff \| blob \| history
src/theory/datatypes/explanation_manager.cpp		diff \| blob \| history
src/theory/datatypes/explanation_manager.h		diff \| blob \| history
src/theory/datatypes/theory_datatypes.h		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_engine.h		diff \| blob \| history
src/theory/uf/theory_uf.h		diff \| blob \| history
src/util/congruence_closure.h		diff \| blob \| history
src/util/trans_closure.cpp		diff \| blob \| history
src/util/trans_closure.h		diff \| blob \| history
test/unit/context/cdmap_black.h		diff \| blob \| history
test/unit/context/cdmap_white.h		diff \| blob \| history
test/unit/util/congruence_closure_white.h		diff \| blob \| history

RSS Atom