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

author	Morgan Deters <mdeters@gmail.com>
	Thu, 1 Apr 2010 07:19:41 +0000 (07:19 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Thu, 1 Apr 2010 07:19:41 +0000 (07:19 +0000)
commit	a86b330c8b1ebfa7ec9a284ceb7cba69ff6d09b9
tree	792b675b3d11b546450c5b785b2dac40afd742d8	tree
parent	c49e8a66f30413adc802c7200ec02c68e33feae6	commit \| diff

reran update-copyright.pl to get new contributors and add new header comments to files without them

57 files changed:

contrib/update-copyright.pl		diff \| blob \| history
src/context/cdlist.h		diff \| blob \| history
src/context/cdo.h		diff \| blob \| history
src/context/context_mm.h		diff \| blob \| history
src/expr/attribute.h		diff \| blob \| history
src/expr/attribute_internals.h		diff \| blob \| history
src/expr/expr_manager_template.h		diff \| blob \| history
src/expr/expr_template.cpp		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/node.h		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/expr/type.cpp		diff \| blob \| history
src/expr/type.h		diff \| blob \| history
src/main/getopt.cpp		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/parser/antlr_input.cpp		diff \| blob \| history
src/parser/antlr_input.h		diff \| blob \| history
src/parser/bounded_token_factory.cpp		diff \| blob \| history
src/parser/bounded_token_factory.h		diff \| blob \| history
src/parser/cvc/Cvc.g		diff \| blob \| history
src/parser/cvc/cvc_input.cpp		diff \| blob \| history
src/parser/cvc/cvc_input.h		diff \| blob \| history
src/parser/input.cpp		diff \| blob \| history
src/parser/input.h		diff \| blob \| history
src/parser/memory_mapped_input_buffer.cpp		diff \| blob \| history
src/parser/memory_mapped_input_buffer.h		diff \| blob \| history
src/parser/parser_exception.h		diff \| blob \| history
src/parser/parser_options.h		diff \| blob \| history
src/parser/smt/Smt.g		diff \| blob \| history
src/parser/smt/smt_input.cpp		diff \| blob \| history
src/parser/smt/smt_input.h		diff \| blob \| history
src/prop/cnf_stream.h		diff \| blob \| history
src/prop/sat.h		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/theory/uf/ecdata.cpp		diff \| blob \| history
src/theory/uf/ecdata.h		diff \| blob \| history
src/theory/uf/theory_uf.cpp		diff \| blob \| history
src/theory/uf/theory_uf.h		diff \| blob \| history
src/util/integer.cpp		diff \| blob \| history
src/util/integer.h		diff \| blob \| history
src/util/options.h		diff \| blob \| history
src/util/rational.cpp		diff \| blob \| history
src/util/rational.h		diff \| blob \| history
test/unit/context/cdlist_black.h		diff \| blob \| history
test/unit/context/context_black.h		diff \| blob \| history
test/unit/expr/attribute_black.h		diff \| blob \| history
test/unit/expr/attribute_white.h		diff \| blob \| history
test/unit/expr/kind_black.h		diff \| blob \| history
test/unit/expr/node_black.h		diff \| blob \| history
test/unit/expr/node_builder_black.h		diff \| blob \| history
test/unit/parser/parser_black.h		diff \| blob \| history
test/unit/theory/theory_black.h		diff \| blob \| history
test/unit/theory/theory_uf_white.h		diff \| blob \| history

RSS Atom