projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0398c53) | patch
Fix approximate bounds for transcendental functions whose model values rewrite (...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 19 Feb 2020 07:23:43 +0000 (01:23 -0600)
committerGitHub <noreply@github.com>
Wed, 19 Feb 2020 07:23:43 +0000 (23:23 -0800)
commit8fe04676488e7ff4fbe149f98b1ad62f2bdfee1d
tree7c428ce1f93a8647378997eeed69044234daaf94tree
parent0398c53a582a3242ef89dceae59d00137f17df79commit | diff
Fix approximate bounds for transcendental functions whose model values rewrite (#3747)

* Fix bounds for negative sine apps

* Format

* Comment

Co-authored-by: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>
src/theory/arith/nonlinear_extension.cpp diff | blob | history