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

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: cba10a0) | patch

author	Morgan Deters <mdeters@cs.nyu.edu>
	Wed, 20 Mar 2013 22:16:26 +0000 (18:16 -0400)
committer	Morgan Deters <mdeters@cs.nyu.edu>
	Mon, 1 Apr 2013 20:11:24 +0000 (16:11 -0400)
commit	b6ad34343d0a09de37dc4e5ff57cd8625dca3fc4
tree	d4aa8da10c6ad99c46d7f8c1fd824f2d7566ef4e	tree
parent	cba10a096d97e82bd112b4d99a6ebe399d1369d6	commit \| diff

Merging some cleanup work:

* Comment cleanup
* Spelling fixes
* Fix warnings
* Documentation updates
* References in docs to cryptominisat removed
* Unneeded scope resolutions removed
* Old, unused regression removed

17 files changed:

NEWS		diff \| blob \| history
configure.ac		diff \| blob \| history
contrib/spellcheck		diff \| blob \| history
contrib/update-copyright.pl		diff \| blob \| history
library_versions		diff \| blob \| history
src/expr/type_checker_template.cpp		diff \| blob \| history
src/main/command_executor_portfolio.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/theory/bv/bv_inequality_graph.cpp		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/quantifiers/quant_util.h		diff \| blob \| history
src/theory/quantifiers/term_database.h		diff \| blob \| history
src/theory/uf/equality_engine.cpp		diff \| blob \| history
src/theory/uf/equality_engine.h		diff \| blob \| history
src/theory/uf/equality_engine_types.h		diff \| blob \| history
src/util/integer_gmp_imp.h		diff \| blob \| history
test/regress/regress0/simple.smt2	[deleted file]	blob \| history