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

author	Morgan Deters <mdeters@gmail.com>
	Tue, 7 Aug 2012 18:38:49 +0000 (18:38 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Tue, 7 Aug 2012 18:38:49 +0000 (18:38 +0000)
commit	b0deae79d8bae5051a85dc15e43e7b83bc8cf9ab
tree	d73fa7f9fb37077853f824dcecd2a1b8e4d22837	tree
parent	ea5acaba821790dd240db779f2340fbe5fce0b8e	commit \| diff

Some items from the CVC4 public interface review:

* rename DeclarationScope to SymbolTable
* rename all HashStrategy -> HashFunction (which we often have anyways)
* remove CDCircList (no one is currently using it)

45 files changed:

src/context/Makefile.am		diff \| blob \| history
src/context/cdcirclist.h	[deleted file]	blob \| history
src/context/cdcirclist_forward.h	[deleted file]	blob \| history
src/cvc4.i		diff \| blob \| history
src/expr/Makefile.am		diff \| blob \| history
src/expr/attribute_internals.h		diff \| blob \| history
src/expr/declaration_scope.cpp	[deleted file]	blob \| history
src/expr/declaration_scope.h	[deleted file]	blob \| history
src/expr/declaration_scope.i	[deleted file]	blob \| history
src/expr/kind_template.h		diff \| blob \| history
src/expr/mkmetakind		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/expr/node_value.h		diff \| blob \| history
src/expr/symbol_table.cpp	[new file with mode: 0644]	blob
src/expr/symbol_table.h	[new file with mode: 0644]	blob
src/expr/symbol_table.i	[new file with mode: 0644]	blob
src/parser/cvc/Cvc.g		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/theory/arith/kinds		diff \| blob \| history
src/theory/arrays/array_info.h		diff \| blob \| history
src/theory/arrays/kinds		diff \| blob \| history
src/theory/booleans/kinds		diff \| blob \| history
src/theory/builtin/kinds		diff \| blob \| history
src/theory/bv/kinds		diff \| blob \| history
src/theory/datatypes/kinds		diff \| blob \| history
src/theory/ite_simplifier.h		diff \| blob \| history
src/util/array_store_all.h		diff \| blob \| history
src/util/ascription_type.h		diff \| blob \| history
src/util/bitvector.h		diff \| blob \| history
src/util/bool.h		diff \| blob \| history
src/util/datatype.h		diff \| blob \| history
src/util/hash.h		diff \| blob \| history
src/util/integer_cln_imp.h		diff \| blob \| history
src/util/integer_gmp_imp.h		diff \| blob \| history
src/util/predicate.cpp		diff \| blob \| history
src/util/predicate.h		diff \| blob \| history
src/util/rational_cln_imp.h		diff \| blob \| history
src/util/rational_gmp_imp.h		diff \| blob \| history
src/util/subrange_bound.h		diff \| blob \| history
src/util/uninterpreted_constant.h		diff \| blob \| history
test/unit/Makefile.am		diff \| blob \| history
test/unit/context/cdcirclist_white.h	[deleted file]	blob \| history
test/unit/expr/declaration_scope_black.h	[deleted file]	blob \| history
test/unit/expr/symbol_table_black.h	[new file with mode: 0644]	blob

RSS Atom