file header documentation regenerated with contributors names; no code modified in...
authorMorgan Deters <mdeters@gmail.com>
Sun, 3 Oct 2010 00:06:25 +0000 (00:06 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 3 Oct 2010 00:06:25 +0000 (00:06 +0000)
commitc0558a1625887f4761cfbad371e07af06a49b38b
treee711afb3fb25f3e7ee8225d63261407fbef7967e
parent036a23f59bbc23343dc690fd1e147541e79e9b9e
file header documentation regenerated with contributors names; no code modified in this commit
69 files changed:
src/context/cdmap.h
src/context/cdvector.h
src/expr/expr_manager_template.cpp
src/expr/expr_manager_template.h
src/expr/expr_template.h
src/expr/node.h
src/expr/node_manager.cpp
src/expr/node_manager.h
src/lib/clock_gettime.c
src/lib/clock_gettime.h
src/lib/replacements.h
src/main/main.cpp
src/main/util.cpp
src/parser/bounded_token_buffer.h
src/parser/smt/smt.cpp
src/parser/smt2/smt2_input.cpp
src/prop/cnf_stream.cpp
src/prop/sat.h
src/theory/arith/normal_form.cpp
src/theory/arith/normal_form.h
src/theory/arith/tableau.cpp
src/theory/arith/tableau.h
src/theory/arrays/theory_arrays.cpp
src/theory/arrays/theory_arrays_type_rules.h
src/theory/booleans/theory_bool.h
src/theory/booleans/theory_bool_type_rules.h
src/theory/builtin/theory_builtin.h
src/theory/builtin/theory_builtin_type_rules.h
src/theory/bv/equality_engine.cpp
src/theory/bv/equality_engine.h
src/theory/bv/theory_bv.cpp
src/theory/bv/theory_bv.h
src/theory/bv/theory_bv_rewrite_rules.cpp
src/theory/bv/theory_bv_rewrite_rules.h
src/theory/bv/theory_bv_type_rules.h
src/theory/bv/theory_bv_utils.h
src/theory/output_channel.h
src/theory/shared_term_manager.h
src/theory/theory.h
src/theory/theory_engine.cpp
src/theory/theory_engine.h
src/theory/uf/morgan/theory_uf_morgan.cpp
src/theory/uf/theory_uf_type_rules.h
src/theory/uf/tim/theory_uf_tim.h
src/util/Assert.cpp
src/util/Assert.h
src/util/configuration.cpp
src/util/configuration.h
src/util/configuration_private.h
src/util/dynamic_array.h
src/util/integer_cln_imp.cpp
src/util/integer_cln_imp.h
src/util/integer_gmp_imp.cpp
src/util/integer_gmp_imp.h
src/util/output.h
src/util/rational_cln_imp.cpp
src/util/rational_cln_imp.h
src/util/rational_gmp_imp.cpp
src/util/rational_gmp_imp.h
src/util/stats.h
test/unit/context/cdvector_black.h
test/unit/expr/attribute_white.h
test/unit/expr/expr_public.h
test/unit/expr/node_builder_black.h
test/unit/theory/shared_term_manager_black.h
test/unit/theory/theory_arith_white.h
test/unit/theory/theory_black.h
test/unit/theory/theory_engine_white.h
test/unit/theory/theory_uf_tim_white.h