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

author	Kshitij Bansal <kshitij@cs.nyu.edu>
	Fri, 8 Jun 2012 05:56:08 +0000 (05:56 +0000)
committer	Kshitij Bansal <kshitij@cs.nyu.edu>
	Fri, 8 Jun 2012 05:56:08 +0000 (05:56 +0000)
commit	8cd22903675724e29249ce089ee77c7c4d3897fb
tree	64ea92a2a0f8721b7e1b15796824f6259567aa75	tree
parent	6685546d585212559b97d5722161ad52ff5c4121	commit \| diff

Merge from decision branch (till r3663)

(no performace or search behavior changes expected)

21 files changed:

src/decision/Makefile.am		diff \| blob \| history
src/decision/decision_engine.cpp		diff \| blob \| history
src/decision/decision_engine.h		diff \| blob \| history
src/decision/decision_strategy.h		diff \| blob \| history
src/decision/justification_heuristic.cpp		diff \| blob \| history
src/decision/relevancy.cpp	[new file with mode: 0644]	blob
src/decision/relevancy.h	[new file with mode: 0644]	blob
src/main/driver.cpp		diff \| blob \| history
src/prop/cnf_stream.cpp		diff \| blob \| history
src/prop/minisat/core/Solver.cc		diff \| blob \| history
src/prop/minisat/minisat.cpp		diff \| blob \| history
src/prop/minisat/minisat.h		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/prop/sat_solver_types.h		diff \| blob \| history
src/prop/theory_proxy.cpp		diff \| blob \| history
src/prop/theory_proxy.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/util/options.cpp		diff \| blob \| history
src/util/options.h		diff \| blob \| history
test/regress/regress0/arith/Makefile.am		diff \| blob \| history
test/regress/regress0/arith/integers/Makefile.am		diff \| blob \| history