projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4198557) | patch
Make secant points user context dependent (#7567)
authorGereon Kremer <nafur42@gmail.com>
Tue, 9 Nov 2021 16:34:31 +0000 (08:34 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 16:34:31 +0000 (16:34 +0000)
commit656db44c77c6728ab72f84fb286cca7906bb4366
tree86c04ca781ec7989bd50db96223adb2e2c5616aetree
parent4198557d871180a6f212fe6f0fdc7185a19b7136commit | diff
Make secant points user context dependent (#7567)

This PR fixes an issue where the secant points associated with certain transcendental lemmas were not properly cleared when leaving a user context.
Closes #4694.
src/theory/arith/nl/transcendental/transcendental_solver.cpp diff | blob | history
src/theory/arith/nl/transcendental/transcendental_state.cpp diff | blob | history
src/theory/arith/nl/transcendental/transcendental_state.h diff | blob | history