projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4429921) | patch
Update to a more recent libpoly version. (#6730)
authorGereon Kremer <nafur42@gmail.com>
Tue, 15 Jun 2021 21:09:10 +0000 (23:09 +0200)
committerGitHub <noreply@github.com>
Tue, 15 Jun 2021 21:09:10 +0000 (21:09 +0000)
commit3fb45e059eff665ed5aaf23915f3434db1e60299
tree7431f22ff18b4096fd62670b6e4022bdf270cd1btree
parent44299210154706701d56bfa40e8cb5c58079e9cacommit | diff
Update to a more recent libpoly version. (#6730)

This PR updates to the latest version of libpoly, which has a memory leak fixed.
cmake/FindPoly.cmake diff | blob | history