projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfa34c5) | patch
Use most recent version of libpoly (#6587)
authorGereon Kremer <nafur42@gmail.com>
Thu, 20 May 2021 17:55:35 +0000 (19:55 +0200)
committerGitHub <noreply@github.com>
Thu, 20 May 2021 17:55:35 +0000 (17:55 +0000)
commit61b14cbbbb1665496913e047d14fedee610efef1
tree73df7500b4b1022bd87559b29475c3c5342313edtree
parentbfa34c539319746dd3c247851cbbb8db86625fd0commit | diff
Use most recent version of libpoly (#6587)

This PR updates to the most recent version of libpoly which fixes some memory leaks.
cmake/FindPoly.cmake diff | blob | history