projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1b87cb) | patch
The "no-tears-in-competition-mode" commit. Change all (non-driver, non-SAT-solver...
authorMorgan Deters <mdeters@gmail.com>
Thu, 14 Jun 2012 14:32:51 +0000 (14:32 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 14 Jun 2012 14:32:51 +0000 (14:32 +0000)
commitde6c0b0929f23fd3d01ae4c8bd3b93d4f484b7c7
treef81881044a187571c56631466a2a9e0622f1d2c9tree
parentc1b87cb541768fa9811cef643e43fdc09091c353commit | diff
The "no-tears-in-competition-mode" commit.  Change all (non-driver, non-SAT-solver) uses of std::cout to the Message stream, and all uses of std::cerr to the Warning stream.
src/theory/arith/constraint.cpp diff | blob | history
src/theory/arith/dio_solver.cpp diff | blob | history
src/theory/arith/simplex.cpp diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith_type_rules.h diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/substitutions.cpp diff | blob | history
src/theory/uf/theory_uf_type_rules.h diff | blob | history
src/theory/unconstrained_simplifier.cpp diff | blob | history