projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5cfcc6d) | patch
Guard uses of printing approximations for constants (#5247)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 14 Oct 2020 14:38:45 +0000 (09:38 -0500)
committerGitHub <noreply@github.com>
Wed, 14 Oct 2020 14:38:45 +0000 (09:38 -0500)
commit5dcaa28edfa676c57fbbab75767b422e7fab349c
tree416448042d524e50573fec81d9e3922edb507947tree
parent5cfcc6d154c7ab0deac47fbc172c406aedc3639ecommit | diff
Guard uses of printing approximations for constants (#5247)

Errors with these methods were encountered while working on new techniques for arithmetic preprocessing.

Also, there is obvious inefficiency since approximations for constants are being computed when certain traces are disabled.
src/theory/arith/arith_utilities.cpp diff | blob | history
src/theory/arith/nl/nl_model.cpp diff | blob | history