projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acba737) | patch
Update to latest libpoly version (#7906)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 10 Jan 2022 20:14:59 +0000 (12:14 -0800)
committerGitHub <noreply@github.com>
Mon, 10 Jan 2022 20:14:59 +0000 (20:14 +0000)
commit69c88d4cb47b00b807281771bf0e7637f3dda37b
tree5d22894d9d5e312dc642d23abc6a24e1e765cd3btree
parentacba737109e440f0b57494bc999dd80169ae64eacommit | diff
Update to latest libpoly version (#7906)

This PR updates to the latest libpoly version. It contains a bugfix and adds division and inverse operations for algebraic numbers.
cmake/FindPoly.cmake diff | blob | history