projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9d5982) | patch
Remove a bunch of debugging/logging code from the linear solver (#7576)
authorGereon Kremer <nafur42@gmail.com>
Fri, 5 Nov 2021 00:42:06 +0000 (17:42 -0700)
committerGitHub <noreply@github.com>
Fri, 5 Nov 2021 00:42:06 +0000 (00:42 +0000)
commit6d947b4f85d005681ff438c6bd8ef7bba557be10
tree34ba7d9cc8c16a0dd40bf4a1e32aefd2ec320d84tree
parentf9d59828ebd150797682f1fbf5267aca7d15bb54commit | diff
Remove a bunch of debugging/logging code from the linear solver (#7576)

This PR removes old debugging code from the linear solver.
The removed code was either redundant, already in comments, or manually disabled by a constant false.
src/theory/arith/approx_simplex.cpp diff | blob | history
src/theory/arith/attempt_solution_simplex.cpp diff | blob | history
src/theory/arith/constraint.cpp diff | blob | history
src/theory/arith/constraint.h diff | blob | history
src/theory/arith/dio_solver.cpp diff | blob | history
src/theory/arith/dio_solver.h diff | blob | history
src/theory/arith/dual_simplex.cpp diff | blob | history
src/theory/arith/fc_simplex.cpp diff | blob | history
src/theory/arith/linear_equality.cpp diff | blob | history
src/theory/arith/soi_simplex.cpp diff | blob | history