summaryrefslogtreecommitdiff
path: root/src/api/python/CMakeLists.txt
AgeCommit message (Expand)Author
2021-05-04Improve generation of python API documentation (#6482)Gereon Kremer
2021-04-27Initial setup for docs of python API (#6445)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-07cmake: Do not always regenerate cvc4kinds.{pxi,pxd}. (#6300)Mathias Preiner
2021-04-05New C++ Api: Rename and move headers. (#6292)Aina Niemetz
2021-04-01Refactor CLN dependency & Cleanup (#6251)Gereon Kremer
2021-03-30Fix compilation of Python bindings for named build directories (#6244)yoni206
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-02-24Enable -Werror. (#5969)Mathias Preiner
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-03-11Add automatic Cython binding installation (#3933)makaimann
2020-02-19Add Python bindings using Cython -- see below for more details (#2879)makaimann
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback