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

author	Morgan Deters <mdeters@gmail.com>
	Fri, 2 Jul 2010 00:30:19 +0000 (00:30 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Fri, 2 Jul 2010 00:30:19 +0000 (00:30 +0000)
commit	5f2d818b1a2801f647fe1f3ce2a61d7d4806e251
tree	bf3e74bd119d2e4890e8db70595c46395d52e672	tree
parent	b3f0db7abcb7195fbf2afe191e6ab4012b4971a3	commit \| diff

re-generated comment headers of source files

69 files changed:

src/expr/declaration_scope.cpp		diff \| blob \| history
src/expr/declaration_scope.h		diff \| blob \| history
src/expr/expr_manager_scope.h		diff \| blob \| history
src/expr/metakind_template.h		diff \| blob \| history
src/expr/node_value.cpp		diff \| blob \| history
src/expr/type.cpp		diff \| blob \| history
src/expr/type.h		diff \| blob \| history
src/expr/type_constant.h		diff \| blob \| history
src/expr/type_node.cpp		diff \| blob \| history
src/expr/type_node.h		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/main/usage.h		diff \| blob \| history
src/parser/antlr_input.cpp		diff \| blob \| history
src/parser/antlr_input.h		diff \| blob \| history
src/parser/bounded_token_buffer.h		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/parser_builder.cpp		diff \| blob \| history
src/parser/parser_builder.h		diff \| blob \| history
src/parser/smt/smt.cpp		diff \| blob \| history
src/parser/smt/smt.h		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
src/parser/smt2/smt2_input.cpp		diff \| blob \| history
src/parser/smt2/smt2_input.h		diff \| blob \| history
src/prop/cnf_stream.h		diff \| blob \| history
src/prop/sat.cpp		diff \| blob \| history
src/prop/sat.h		diff \| blob \| history
src/theory/arith/arith_activity.h		diff \| blob \| history
src/theory/arith/arith_constants.h		diff \| blob \| history
src/theory/arith/arith_propagator.cpp		diff \| blob \| history
src/theory/arith/arith_propagator.h		diff \| blob \| history
src/theory/arith/arith_rewriter.cpp		diff \| blob \| history
src/theory/arith/arith_rewriter.h		diff \| blob \| history
src/theory/arith/arith_utilities.h		diff \| blob \| history
src/theory/arith/basic.h		diff \| blob \| history
src/theory/arith/delta_rational.cpp		diff \| blob \| history
src/theory/arith/delta_rational.h		diff \| blob \| history
src/theory/arith/ordered_bounds_list.h		diff \| blob \| history
src/theory/arith/partial_model.cpp		diff \| blob \| history
src/theory/arith/partial_model.h		diff \| blob \| history
src/theory/arith/slack.h		diff \| blob \| history
src/theory/arith/tableau.h		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
src/theory/arith/theory_arith_type_rules.h		diff \| blob \| history
src/theory/arrays/theory_arrays.cpp		diff \| blob \| history
src/theory/arrays/theory_arrays.h		diff \| blob \| history
src/theory/booleans/theory_bool_type_rules.h		diff \| blob \| history
src/theory/builtin/theory_builtin_type_rules.h		diff \| blob \| history
src/theory/bv/theory_bv_type_rules.h		diff \| blob \| history
src/theory/theory.cpp		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/theory/theory_test_utils.h		diff \| blob \| history
src/theory/uf/theory_uf_type_rules.h		diff \| blob \| history
src/util/bitvector.cpp		diff \| blob \| history
src/util/bitvector.h		diff \| blob \| history
src/util/gmp_util.h		diff \| blob \| history
src/util/hash.h		diff \| blob \| history
src/util/integer.h		diff \| blob \| history
src/util/sexpr.h		diff \| blob \| history
src/util/stats.cpp		diff \| blob \| history
src/util/stats.h		diff \| blob \| history
test/unit/expr/declaration_scope_black.h		diff \| blob \| history
test/unit/expr/expr_manager_public.h		diff \| blob \| history
test/unit/parser/parser_builder_black.h		diff \| blob \| history
test/unit/prop/cnf_stream_black.h		diff \| blob \| history
test/unit/theory/theory_arith_white.h		diff \| blob \| history
test/unit/util/bitvector_black.h		diff \| blob \| history
test/unit/util/integer_white.h		diff \| blob \| history
test/unit/util/rational_black.h		diff \| blob \| history

RSS Atom