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

author	Morgan Deters <mdeters@gmail.com>
	Thu, 4 Feb 2010 02:58:12 +0000 (02:58 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Thu, 4 Feb 2010 02:58:12 +0000 (02:58 +0000)
commit	33988bd64b92960f7bed5c68d1266adc4183454b
tree	fc233761b21193ca89a29c35dac941e88c244a20	tree
parent	84354b6332b89c15292a89b065a7478f578eb075	commit \| diff

minor fix for update-copyright.pl; ran update-copyright.pl on all sources; regenerated configure script

69 files changed:

configure		diff \| blob \| history
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_lexer.g		diff \| blob \| history
src/parser/cvc/cvc_parser.g		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_lexer.g		diff \| blob \| history
src/parser/smt/smt_parser.g		diff \| blob \| history
src/parser/symbol_table.h		diff \| blob \| history
src/prop/cnf_conversion.h		diff \| blob \| history
src/prop/cnf_stream.cpp		diff \| blob \| history
src/prop/cnf_stream.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/interrupted.h		diff \| blob \| history
src/theory/output_channel.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/context/context_black.h		diff \| blob \| history
test/unit/context/context_mm_black.h		diff \| blob \| history
test/unit/expr/node_black.h		diff \| blob \| history
test/unit/expr/node_white.h		diff \| blob \| history
test/unit/parser/parser_black.h		diff \| blob \| history

RSS Atom