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

projects / cvc5.git / commit

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

author	Morgan Deters <mdeters@gmail.com>
	Tue, 24 Nov 2009 21:03:35 +0000 (21:03 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Tue, 24 Nov 2009 21:03:35 +0000 (21:03 +0000)
commit	811158832b74e3b101af2c7473f4e11a41377dd4
tree	07c55ab126dd7eb24239b615c987a490b182c8a6	tree
parent	f6968899de4d27c5bc986c3ac89972fbbe35c361	commit \| diff

configure option adjustments as per 11/24 meeting; various fixes and improvements

23 files changed:

configure.ac		diff \| blob \| history
contrib/editing-with-emacs		diff \| blob \| history
contrib/update-copyright.pl		diff \| blob \| history
src/expr/expr.cpp		diff \| blob \| history
src/expr/expr.h	[new file with mode: 0644]	blob
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.h		diff \| blob \| history
src/expr/expr_value.h		diff \| blob \| history
src/expr/kind.h		diff \| blob \| history
src/include/cvc4_config.h		diff \| blob \| history
src/include/cvc4_expr.h		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/usage.h		diff \| blob \| history
src/main/util.cpp		diff \| blob \| history
src/smt/smt_engine.h	[new file with mode: 0644]	blob
src/theory/theory.h		diff \| blob \| history
src/util/assert.h		diff \| blob \| history
src/util/options.h		diff \| blob \| history
src/util/output.h	[new file with mode: 0644]	blob