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

author	Morgan Deters <mdeters@gmail.com>
	Wed, 29 Aug 2012 20:36:35 +0000 (20:36 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Wed, 29 Aug 2012 20:36:35 +0000 (20:36 +0000)
commit	06e088262574a9f3e1638d89b93a25ae83514820
tree	21546aec6fa84612c5ca0695a4ca0a46145fae2a	tree
parent	777d698c0b11c35da05c55488b02b42064c0fc48	commit \| diff

* Numerous documentation fixes (fix doxygen warnings, add missing documentation, etc.).

* Remove sat_module.cpp, which was no longer used (was previously refactored?)

35 files changed:

README		diff \| blob \| history
config/doxygen.cfg		diff \| blob \| history
src/bindings/compat/c/c_interface.h		diff \| blob \| history
src/bindings/compat/c/c_interface_defs.h		diff \| blob \| history
src/bindings/compat/java/formula_value.h		diff \| blob \| history
src/decision/justification_heuristic.cpp		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/kind_template.h		diff \| blob \| history
src/expr/metakind_template.h		diff \| blob \| history
src/expr/symbol_table.h		diff \| blob \| history
src/expr/type_checker_template.cpp		diff \| blob \| history
src/expr/type_properties_template.h		diff \| blob \| history
src/options/base_options_template.cpp		diff \| blob \| history
src/options/base_options_template.h		diff \| blob \| history
src/options/options_holder_template.h		diff \| blob \| history
src/options/options_template.cpp		diff \| blob \| history
src/parser/input.h		diff \| blob \| history
src/prop/sat_module.cpp	[deleted file]	blob \| history
src/prop/sat_solver.h		diff \| blob \| history
src/smt/smt_options_template.cpp		diff \| blob \| history
src/theory/bv/bitblast_strategies.cpp		diff \| blob \| history
src/theory/bv/bitblast_strategies.h		diff \| blob \| history
src/theory/bv/bitblaster.cpp		diff \| blob \| history
src/theory/instantiator_tables_template.cpp		diff \| blob \| history
src/theory/rewriter_tables_template.h		diff \| blob \| history
src/theory/theory_traits_template.h		diff \| blob \| history
src/theory/type_enumerator_template.cpp		diff \| blob \| history
src/theory/uf/equality_engine.h		diff \| blob \| history
src/util/cardinality.h		diff \| blob \| history
src/util/integer.h.in		diff \| blob \| history
src/util/rational.h.in		diff \| blob \| history
src/util/tls.h.in		diff \| blob \| history

RSS Atom