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

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 95e5ca9) | patch

author	Morgan Deters <mdeters@gmail.com>
	Mon, 23 Nov 2009 16:42:12 +0000 (16:42 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Mon, 23 Nov 2009 16:42:12 +0000 (16:42 +0000)
commit	f6968899de4d27c5bc986c3ac89972fbbe35c361
tree	dd3461b2e08e1568ca9aff97a56e93a0445b3abc	tree
parent	95e5ca98d4c22897c0192a78ebeeb05e4838db2b	commit \| diff

fixups, file comments

26 files changed:

src/Makefile.am		diff \| blob \| history
src/context/Makefile.am		diff \| blob \| history
src/expr/Makefile.am		diff \| blob \| history
src/include/cvc4.h		diff \| blob \| history
src/include/cvc4_config.h	[new file with mode: 0644]	blob
src/include/cvc4_expr.h		diff \| blob \| history
src/main/Makefile.am		diff \| blob \| history
src/main/about.h		diff \| blob \| history
src/main/getopt.cpp		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/prop/Makefile.am		diff \| blob \| history
src/prop/minisat/Makefile.am		diff \| blob \| history
src/prop/prop_engine.h		diff \| blob \| history
src/smt/Makefile.am		diff \| blob \| history
src/smt/smt_engine.h	[deleted file]	blob \| history
src/theory/Makefile.am		diff \| blob \| history
src/theory/theory.h		diff \| blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/decision_engine.h		diff \| blob \| history
src/util/options.h		diff \| blob \| history
test/no_cxxtest	[deleted file]	blob \| history
test/unit/no_cxxtest	[new file with mode: 0755]	blob