projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ff53d7) | patch
Remove now obsolete sendLemmas and inferences stat from arith::nl (#5903)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 15 Feb 2021 08:08:47 +0000 (09:08 +0100)
committerGitHub <noreply@github.com>
Mon, 15 Feb 2021 08:08:47 +0000 (09:08 +0100)
commitb05fae1fa9e46b63b22a41d8c32e944502366770
tree3360088d27a19824cb276dc1cc63836c296b3321tree
parent0ff53d70b3e0a11e4ae5c1c8f612d809dca2d004commit | diff
Remove now obsolete sendLemmas and inferences stat from arith::nl (#5903)

This PR removes some obsolete code from the nonlinear solver.
The statistics will soon be replaced by a generic statistic in the theory inference manager.
src/theory/arith/nl/nonlinear_extension.cpp diff | blob | history
src/theory/arith/nl/nonlinear_extension.h diff | blob | history
src/theory/arith/nl/stats.cpp diff | blob | history
src/theory/arith/nl/stats.h diff | blob | history