projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95add26) | patch
Improvements for NL traces (#5846)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 2 Feb 2021 15:49:25 +0000 (09:49 -0600)
committerGitHub <noreply@github.com>
Tue, 2 Feb 2021 15:49:25 +0000 (09:49 -0600)
commit4c1f67446ad59f1c5efe7230b96b0d3ccac0e692
tree80fac75e5c9be8e0bb0cef37eed167307581fa86tree
parent95add26e5210e53e03c55ee313279b87cc3d5660commit | diff
Improvements for NL traces (#5846)

This makes it so that -t nl-ext is a concise summary of what the nl-ext solver is doing, which I use frequently for debugging.

This is a temporary solution, we should consider a deeper refactoring of traces throughout NL at some point.
src/theory/arith/nl/nonlinear_extension.cpp diff | blob | history
src/theory/arith/nl/transcendental/exponential_solver.cpp diff | blob | history
src/theory/arith/nl/transcendental/sine_solver.cpp diff | blob | history
src/theory/arith/nl/transcendental/transcendental_solver.cpp diff | blob | history