projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8d0907) | patch
Fix build without libpoly (#6759)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 18 Jun 2021 00:49:15 +0000 (17:49 -0700)
committerGitHub <noreply@github.com>
Fri, 18 Jun 2021 00:49:15 +0000 (17:49 -0700)
commit204d645e97bbacd948b5777b704f7b418577610a
tree59d062e0982a70b9205f26786d55551a8d9b0391tree
parentb8d09076cfeb124bfaa6e1c3f0f37e3df1b1b516commit | diff
Fix build without libpoly (#6759)

Commit f10087c3b347da6ef625a2ad92846551ad324d73 added new files that do
not compile without libpoly. This commit excludes those files when
building without libpoly. It also updates one of the regressions to
ignore a warning about approximate values in the model.
src/theory/arith/nl/cad/lazard_evaluation.cpp diff | blob | history
src/theory/arith/nl/cad/lazard_evaluation.h diff | blob | history
test/regress/regress0/nl/issue3003.smt2 diff | blob | history