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

author	Morgan Deters <mdeters@gmail.com>
	Sun, 3 Oct 2010 00:06:25 +0000 (00:06 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Sun, 3 Oct 2010 00:06:25 +0000 (00:06 +0000)
commit	c0558a1625887f4761cfbad371e07af06a49b38b
tree	e711afb3fb25f3e7ee8225d63261407fbef7967e	tree
parent	036a23f59bbc23343dc690fd1e147541e79e9b9e	commit \| diff

file header documentation regenerated with contributors names; no code modified in this commit

69 files changed:

src/context/cdmap.h		diff \| blob \| history
src/context/cdvector.h		diff \| blob \| history
src/expr/expr_manager_template.cpp		diff \| blob \| history
src/expr/expr_manager_template.h		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/lib/clock_gettime.c		diff \| blob \| history
src/lib/clock_gettime.h		diff \| blob \| history
src/lib/replacements.h		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/main/util.cpp		diff \| blob \| history
src/parser/bounded_token_buffer.h		diff \| blob \| history
src/parser/smt/smt.cpp		diff \| blob \| history
src/parser/smt2/smt2_input.cpp		diff \| blob \| history
src/prop/cnf_stream.cpp		diff \| blob \| history
src/prop/sat.h		diff \| blob \| history
src/theory/arith/normal_form.cpp		diff \| blob \| history
src/theory/arith/normal_form.h		diff \| blob \| history
src/theory/arith/tableau.cpp		diff \| blob \| history
src/theory/arith/tableau.h		diff \| blob \| history
src/theory/arrays/theory_arrays.cpp		diff \| blob \| history
src/theory/arrays/theory_arrays_type_rules.h		diff \| blob \| history
src/theory/booleans/theory_bool.h		diff \| blob \| history
src/theory/booleans/theory_bool_type_rules.h		diff \| blob \| history
src/theory/builtin/theory_builtin.h		diff \| blob \| history
src/theory/builtin/theory_builtin_type_rules.h		diff \| blob \| history
src/theory/bv/equality_engine.cpp		diff \| blob \| history
src/theory/bv/equality_engine.h		diff \| blob \| history
src/theory/bv/theory_bv.cpp		diff \| blob \| history
src/theory/bv/theory_bv.h		diff \| blob \| history
src/theory/bv/theory_bv_rewrite_rules.cpp		diff \| blob \| history
src/theory/bv/theory_bv_rewrite_rules.h		diff \| blob \| history
src/theory/bv/theory_bv_type_rules.h		diff \| blob \| history
src/theory/bv/theory_bv_utils.h		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/shared_term_manager.h		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/theory/uf/morgan/theory_uf_morgan.cpp		diff \| blob \| history
src/theory/uf/theory_uf_type_rules.h		diff \| blob \| history
src/theory/uf/tim/theory_uf_tim.h		diff \| blob \| history
src/util/Assert.cpp		diff \| blob \| history
src/util/Assert.h		diff \| blob \| history
src/util/configuration.cpp		diff \| blob \| history
src/util/configuration.h		diff \| blob \| history
src/util/configuration_private.h		diff \| blob \| history
src/util/dynamic_array.h		diff \| blob \| history
src/util/integer_cln_imp.cpp		diff \| blob \| history
src/util/integer_cln_imp.h		diff \| blob \| history
src/util/integer_gmp_imp.cpp		diff \| blob \| history
src/util/integer_gmp_imp.h		diff \| blob \| history
src/util/output.h		diff \| blob \| history
src/util/rational_cln_imp.cpp		diff \| blob \| history
src/util/rational_cln_imp.h		diff \| blob \| history
src/util/rational_gmp_imp.cpp		diff \| blob \| history
src/util/rational_gmp_imp.h		diff \| blob \| history
src/util/stats.h		diff \| blob \| history
test/unit/context/cdvector_black.h		diff \| blob \| history
test/unit/expr/attribute_white.h		diff \| blob \| history
test/unit/expr/expr_public.h		diff \| blob \| history
test/unit/expr/node_builder_black.h		diff \| blob \| history
test/unit/theory/shared_term_manager_black.h		diff \| blob \| history
test/unit/theory/theory_arith_white.h		diff \| blob \| history
test/unit/theory/theory_black.h		diff \| blob \| history
test/unit/theory/theory_engine_white.h		diff \| blob \| history
test/unit/theory/theory_uf_tim_white.h		diff \| blob \| history

RSS Atom