projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30aca1c) | patch
Update to latest libpoly version (#7963)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 19 Jan 2022 17:25:13 +0000 (09:25 -0800)
committerGitHub <noreply@github.com>
Wed, 19 Jan 2022 17:25:13 +0000 (17:25 +0000)
commitced6ee690d24d2efb48bd7b52807f8388fe3bd8a
tree4a0b38366819e2bd6df9e634a714e48bad857e61tree
parent30aca1c6289f57ec8178c20736e9a8420fd6f9f1commit | diff
Update to latest libpoly version (#7963)

The latest libpoly version has a fix for the conversion of algebraic numbers to rationals. We need this in our arithmetic rewriter to properly simplify real algebraic numbers to rationals.
cmake/FindPoly.cmake diff | blob | history