projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33fd766) | patch
Minor cleanup after today's commits:
authorMorgan Deters <mdeters@gmail.com>
Fri, 27 Jul 2012 22:01:03 +0000 (22:01 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 27 Jul 2012 22:01:03 +0000 (22:01 +0000)
commit485c03a323911142e460bd0a7c428759496dc631
tree8c512712734dd2862c89acd8681357d0a2e0dabetree
parent33fd76601b42599d9883889a03d59d0d85729661commit | diff
Minor cleanup after today's commits:

* change some uses of "std::cout" to "Message()"

* change some files to use Unix newlines instead of DOS newlines

* fix compiler warning
23 files changed:
src/theory/arrays/theory_arrays_model.cpp diff | blob | history
src/theory/arrays/theory_arrays_model.h diff | blob | history
src/theory/candidate_generator.cpp diff | blob | history
src/theory/candidate_generator.h diff | blob | history
src/theory/inst_match.cpp diff | blob | history
src/theory/model.cpp diff | blob | history
src/theory/model.h diff | blob | history
src/theory/quantifiers/first_order_model.cpp diff | blob | history
src/theory/quantifiers/first_order_model.h diff | blob | history
src/theory/quantifiers/model_builder.h diff | blob | history
src/theory/quantifiers/relevant_domain.cpp diff | blob | history
src/theory/quantifiers/relevant_domain.h diff | blob | history
src/theory/quantifiers/rep_set_iterator.cpp diff | blob | history
src/theory/quantifiers/rep_set_iterator.h diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history
src/theory/rr_inst_match.cpp diff | blob | history
src/theory/rr_trigger.cpp diff | blob | history
src/theory/uf/theory_uf_model.cpp diff | blob | history
src/theory/uf/theory_uf_model.h diff | blob | history
src/util/model.cpp diff | blob | history
src/util/model.h diff | blob | history
test/regress/regress0/decision/quant-symmetric_unsat_7.smt2 diff | blob | history
test/regress/regress0/quantifiers/symmetric_unsat_7.smt2 diff | blob | history