projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c421a8) | patch
Remove support for Python 2.x (#8488)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 31 Mar 2022 16:24:33 +0000 (09:24 -0700)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 16:24:33 +0000 (09:24 -0700)
commit9e5aa4614ea55aa911dfeb78feabc17256ab223a
tree4c5ae543586b813633851b8820476c095978d810tree
parent6c421a82211f8e9c1e8d4d0725bedce567fe5aa6commit | diff
Remove support for Python 2.x (#8488)

This removes support for Python 2.x. We haven't been testing it and
there isn't a good reason to support it.
CMakeLists.txt diff | blob | history
configure.sh diff | blob | history