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

author	Morgan Deters <mdeters@gmail.com>
	Thu, 19 Nov 2009 22:07:01 +0000 (22:07 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Thu, 19 Nov 2009 22:07:01 +0000 (22:07 +0000)
commit	cd98370b338a0cc5343067151884a06431a1d92c
tree	7e61d8cf61ada9fef8f470a3c781a07a5df5a0fc	tree
parent	394791604a62e19763a8a45328bc5177d91fabf9	commit \| diff

testing framework, configure fixes, incorporations from meeting, continued work

57 files changed:

Makefile.am		diff \| blob \| history
autogen.sh		diff \| blob \| history
configure.ac		diff \| blob \| history
src/Makefile.am		diff \| blob \| history
src/context/Makefile.am		diff \| blob \| history
src/context/context.h		diff \| blob \| history
src/expr/Makefile.am		diff \| blob \| history
src/expr/attr_type.h		diff \| blob \| history
src/expr/expr.cpp		diff \| blob \| history
src/expr/expr_attribute.h		diff \| blob \| history
src/expr/expr_builder.cpp		diff \| blob \| history
src/expr/expr_builder.h		diff \| blob \| history
src/expr/expr_manager.cpp		diff \| blob \| history
src/expr/expr_manager.h		diff \| blob \| history
src/expr/expr_value.cpp		diff \| blob \| history
src/expr/expr_value.h		diff \| blob \| history
src/expr/kind.h		diff \| blob \| history
src/include/cvc4.h		diff \| blob \| history
src/include/cvc4_expr.h		diff \| blob \| history
src/main/Makefile.am		diff \| blob \| history
src/main/about.h		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/main/main.h		diff \| blob \| history
src/main/usage.h		diff \| blob \| history
src/main/util.cpp		diff \| blob \| history
src/parser/Makefile.am		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/parser_exception.h		diff \| blob \| history
src/parser/parser_state.h		diff \| blob \| history
src/parser/pl.ypp		diff \| blob \| history
src/parser/pl_scanner.lpp		diff \| blob \| history
src/parser/smtlib.ypp		diff \| blob \| history
src/parser/smtlib_scanner.lpp		diff \| blob \| history
src/prop/Makefile.am		diff \| blob \| history
src/prop/minisat/Makefile.am		diff \| blob \| history
src/prop/prop_engine.h		diff \| blob \| history
src/prop/sat.h		diff \| blob \| history
src/smt/Makefile.am		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/theory/Makefile.am		diff \| blob \| history
src/theory/theory.h		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/assert.h		diff \| blob \| history
src/util/command.h		diff \| blob \| history
src/util/debug.h		diff \| blob \| history
src/util/decision_engine.h		diff \| blob \| history
src/util/exception.h		diff \| blob \| history
src/util/literal.h		diff \| blob \| history
src/util/model.h		diff \| blob \| history
src/util/options.h		diff \| blob \| history
src/util/result.h		diff \| blob \| history
src/util/unique_id.h		diff \| blob \| history
test/Makefile.am	[new file with mode: 0644]	blob
test/expr/expr_black.h	[new file with mode: 0644]	blob
test/expr/expr_white.h	[new file with mode: 0644]	blob
test/no_cxxtest	[new file with mode: 0755]	blob

RSS Atom