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

author	Morgan Deters <mdeters@gmail.com>
	Thu, 17 Dec 2009 21:05:15 +0000 (21:05 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Thu, 17 Dec 2009 21:05:15 +0000 (21:05 +0000)
commit	dfcf7dba0b2d8ad6eb9d8540e92804e70205b8fb
tree	6cc700c94a4a72e5f4b758803b079dfed059e054	tree
parent	fdc93191d331c6bd4a2934eb5cbeb18d78cb078d	commit \| diff

update-copyright.pl now retrieves and incorporates author information from repository history; re-ran update-copyright.pl; cleaned up some things with make

69 files changed:

Makefile.subdir		diff \| blob \| history
contrib/get-authors	[new file with mode: 0755]	blob
contrib/update-copyright.pl		diff \| blob \| history
src/context/context.cpp		diff \| blob \| history
src/context/context.h		diff \| blob \| history
src/context/context_mm.cpp		diff \| blob \| history
src/context/context_mm.h		diff \| blob \| history
src/expr/attr_type.h		diff \| blob \| history
src/expr/attr_var_name.h		diff \| blob \| history
src/expr/expr.cpp		diff \| blob \| history
src/expr/expr.h		diff \| blob \| history
src/expr/expr_manager.cpp		diff \| blob \| history
src/expr/expr_manager.h		diff \| blob \| history
src/expr/kind.h		diff \| blob \| history
src/expr/node.cpp		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_attribute.h		diff \| blob \| history
src/expr/node_builder.cpp		diff \| blob \| history
src/expr/node_builder.h		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/expr/node_value.cpp		diff \| blob \| history
src/expr/node_value.h		diff \| blob \| history
src/include/cvc4_config.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/main.h		diff \| blob \| history
src/main/usage.h		diff \| blob \| history
src/main/util.cpp		diff \| blob \| history
src/parser/antlr_parser.cpp		diff \| blob \| history
src/parser/antlr_parser.h		diff \| blob \| history
src/parser/cvc/cvc_parser.cpp		diff \| blob \| history
src/parser/cvc/cvc_parser.h		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/parser_exception.h		diff \| blob \| history
src/parser/smt/smt_parser.cpp		diff \| blob \| history
src/parser/smt/smt_parser.h		diff \| blob \| history
src/parser/symbol_table.h		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/prop/prop_engine.h		diff \| blob \| history
src/prop/sat.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/theory/theory.cpp		diff \| blob \| history
src/theory/theory.h		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/util/Assert.cpp		diff \| blob \| history
src/util/Assert.h		diff \| blob \| history
src/util/command.cpp		diff \| blob \| history
src/util/command.h		diff \| blob \| history
src/util/debug.h		diff \| blob \| history
src/util/decision_engine.cpp		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/output.cpp		diff \| blob \| history
src/util/output.h		diff \| blob \| history
src/util/result.h		diff \| blob \| history
src/util/unique_id.h		diff \| blob \| history
test/unit/Makefile.am		diff \| blob \| history
test/unit/Makefile.in		diff \| blob \| history
test/unit/expr/node_black.h		diff \| blob \| history
test/unit/expr/node_white.h		diff \| blob \| history
test/unit/parser/cvc/cvc_parser_black.h		diff \| blob \| history

RSS Atom