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

author	Morgan Deters <mdeters@cs.nyu.edu>
	Tue, 24 Dec 2013 17:45:13 +0000 (12:45 -0500)
committer	Morgan Deters <mdeters@cs.nyu.edu>
	Tue, 24 Dec 2013 17:45:13 +0000 (12:45 -0500)
commit	4abb82936fbb1a297d0d5eb69f8dbdb4599a67f2
tree	bca270de413bd8d8ea942160c652cd602df40120	tree
parent	36e60903069f0faf3d3d4caf4f2ca6ff384896c9	commit \| diff

Minor code cleanup.

16 files changed:

src/decision/justification_heuristic.cpp		diff \| blob \| history
src/decision/options_handlers.h		diff \| blob \| history
src/expr/attribute.cpp		diff \| blob \| history
src/expr/attribute_unique_id.h		diff \| blob \| history
src/expr/command.cpp		diff \| blob \| history
src/main/portfolio.cpp		diff \| blob \| history
src/theory/arith/options_handlers.h		diff \| blob \| history
src/theory/bv/theory_bv_utils.h		diff \| blob \| history
src/theory/idl/idl_assertion_db.h		diff \| blob \| history
src/theory/idl/idl_model.h		diff \| blob \| history
src/theory/strings/regexp_operation.h		diff \| blob \| history
src/theory/strings/theory_strings.cpp		diff \| blob \| history
src/theory/strings/theory_strings.h		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/util/backtrackable.h		diff \| blob \| history
src/util/bool.h		diff \| blob \| history