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

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Tue, 4 May 2010 03:42:56 +0000 (03:42 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Tue, 4 May 2010 03:42:56 +0000 (03:42 +0000)
commit	1ce8e28d5976e1ab30099cb9e6943514497d2980
tree	1a9382fb62b38e3b5768da951b7c684f1b8688e7	tree
parent	69c2d3e702f8ec0bd0eec4a481a07571131aabeb	commit \| diff

Type-checking classes and hooks (not tested yet).

23 files changed:

src/expr/Makefile.am		diff \| blob \| history
src/expr/builtin_type_rules.h	[new file with mode: 0644]	blob
src/expr/expr_manager_template.cpp		diff \| blob \| history
src/expr/expr_manager_template.h		diff \| blob \| history
src/expr/expr_template.cpp		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/node.cpp		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/type.cpp		diff \| blob \| history
src/expr/type.h		diff \| blob \| history
src/theory/arith/Makefile.am		diff \| blob \| history
src/theory/arith/theory_arith_type_rules.h	[new file with mode: 0644]	blob
src/theory/booleans/Makefile.am		diff \| blob \| history
src/theory/booleans/theory_bool_type_rules.h	[new file with mode: 0644]	blob
src/theory/bv/Makefile.am		diff \| blob \| history
src/theory/bv/theory_bv_type_rules.h	[new file with mode: 0644]	blob
src/theory/uf/Makefile.am		diff \| blob \| history
src/theory/uf/theory_uf_type_rules.h	[new file with mode: 0644]	blob
src/util/bitvector.h		diff \| blob \| history
src/util/exception.h		diff \| blob \| history
test/unit/expr/expr_public.h		diff \| blob \| history