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

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Mon, 17 Oct 2011 03:12:17 +0000 (03:12 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Mon, 17 Oct 2011 03:12:17 +0000 (03:12 +0000)
commit	bb59480a36fb0f799af53676c07b8fca43c2fff4
tree	555fb1210e2e94ba09bb9dd447cac30a6ad2ab70	tree
parent	5cb65d8beac0f06fcafbef99d109c09ad029b14d	commit \| diff

Sharing work

33 files changed:

src/prop/minisat/core/Solver.cc		diff \| blob \| history
src/theory/arith/arith_rewriter.h		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
src/theory/arith/theory_arith.h		diff \| blob \| history
src/theory/arrays/theory_arrays_rewriter.h		diff \| blob \| history
src/theory/booleans/theory_bool_rewriter.h		diff \| blob \| history
src/theory/builtin/theory_builtin_rewriter.h		diff \| blob \| history
src/theory/bv/theory_bv_rewriter.h		diff \| blob \| history
src/theory/datatypes/datatypes_rewriter.h		diff \| blob \| history
src/theory/mkrewriter		diff \| blob \| history
src/theory/rewriter.cpp		diff \| blob \| history
src/theory/rewriter.h		diff \| blob \| history
src/theory/rewriter_tables_template.h		diff \| blob \| history
src/theory/theory.cpp		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/equality_engine.h		diff \| blob \| history
src/theory/uf/equality_engine_impl.h		diff \| blob \| history
src/theory/uf/theory_uf.cpp		diff \| blob \| history
src/theory/uf/theory_uf.h		diff \| blob \| history
src/theory/uf/theory_uf_rewriter.h		diff \| blob \| history
src/theory/valuation.cpp		diff \| blob \| history
src/theory/valuation.h		diff \| blob \| history
src/util/node_visitor.h		diff \| blob \| history
test/regress/regress0/arith/integers/Makefile.am		diff \| blob \| history
test/regress/regress0/uflra/Makefile.am		diff \| blob \| history
test/regress/regress0/uflra/simple.01.cvc	[new file with mode: 0644]	blob
test/regress/regress0/uflra/simple.02.cvc	[new file with mode: 0644]	blob
test/regress/regress0/uflra/simple.03.cvc	[new file with mode: 0644]	blob
test/regress/regress0/uflra/simple.04.cvc	[new file with mode: 0644]	blob
test/unit/theory/theory_arith_white.h		diff \| blob \| history
test/unit/theory/theory_black.h		diff \| blob \| history

RSS Atom