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

author	Morgan Deters <mdeters@gmail.com>
	Mon, 20 Feb 2012 17:59:33 +0000 (17:59 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Mon, 20 Feb 2012 17:59:33 +0000 (17:59 +0000)
commit	3d2b33d66998261f9369cccc098140f64bc8b417
tree	9176ad2684415f8fb95f75a5655e8b17dcdf9793	tree
parent	92155f5e40ed2cf452dc5e2f618e7be6542293e8	commit \| diff

portfolio merge

80 files changed:

.gitignore		diff \| blob \| history
AUTHORS		diff \| blob \| history
COPYING		diff \| blob \| history
Makefile.builds.in		diff \| blob \| history
README		diff \| blob \| history
config/boost.m4	[new file with mode: 0644]	blob
configure.ac		diff \| blob \| history
src/expr/Makefile.am		diff \| blob \| history
src/expr/command.cpp		diff \| blob \| history
src/expr/command.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.cpp		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/mkexpr		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/pickle_data.cpp	[new file with mode: 0644]	blob
src/expr/pickle_data.h	[new file with mode: 0644]	blob
src/expr/pickler.cpp	[new file with mode: 0644]	blob
src/expr/pickler.h	[new file with mode: 0644]	blob
src/expr/type.cpp		diff \| blob \| history
src/expr/type.h		diff \| blob \| history
src/expr/type_node.h		diff \| blob \| history
src/expr/variable_type_map.h	[new file with mode: 0644]	blob
src/main/Makefile.am		diff \| blob \| history
src/main/driver.cpp	[new file with mode: 0644]	blob
src/main/driver_portfolio.cpp	[new file with mode: 0644]	blob
src/main/interactive_shell.cpp		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/main/main.h		diff \| blob \| history
src/main/portfolio.cpp	[new file with mode: 0644]	blob
src/main/portfolio.h	[new file with mode: 0644]	blob
src/main/util.cpp		diff \| blob \| history
src/parser/parser_builder.cpp		diff \| blob \| history
src/parser/parser_builder.h		diff \| blob \| history
src/prop/cnf_stream.cpp		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/smt/smt_engine.h		diff \| blob \| history
src/theory/arith/arith_priority_queue.cpp		diff \| blob \| history
src/theory/arith/simplex.cpp		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_type_rules.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_rewriter.cpp		diff \| blob \| history
src/theory/bv/theory_bv_rewriter.h		diff \| blob \| history
src/theory/bv/theory_bv_type_rules.h		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/theory/uf/theory_uf_type_rules.h		diff \| blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/channel.cpp	[new file with mode: 0644]	blob
src/util/channel.h	[new file with mode: 0644]	blob
src/util/hash.h		diff \| blob \| history
src/util/lemma_input_channel.h	[new file with mode: 0644]	blob
src/util/lemma_output_channel.h	[new file with mode: 0644]	blob
src/util/options.cpp		diff \| blob \| history
src/util/options.h		diff \| blob \| history
src/util/stats.cpp		diff \| blob \| history
src/util/stats.h		diff \| blob \| history
test/regress/regress0/Makefile.am		diff \| blob \| history
test/regress/regress0/arith/Makefile.am		diff \| blob \| history
test/regress/regress0/bv/Makefile.am		diff \| blob \| history
test/regress/regress0/bv/core/Makefile.am		diff \| blob \| history
test/regress/regress0/lemmas/Makefile.am		diff \| blob \| history
test/regress/regress0/precedence/Makefile.am		diff \| blob \| history
test/regress/regress0/push-pop/Makefile.am		diff \| blob \| history
test/regress/regress0/uf/Makefile.am		diff \| blob \| history
test/regress/regress0/uflra/Makefile.am		diff \| blob \| history
test/regress/regress1/Makefile.am		diff \| blob \| history
test/regress/regress1/arith/Makefile.am		diff \| blob \| history
test/regress/regress2/Makefile.am		diff \| blob \| history
test/regress/regress3/Makefile.am		diff \| blob \| history

RSS Atom