summaryrefslogtreecommitdiff
path: root/src/api/python
AgeCommit message (Expand)Author
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-06-08Change output of getRealValue to a fraction. (#6692)Alex Ozdemir
2021-06-03Adding unit tests for the datatypes python API (#6658)yoni206
2021-06-02Adding getters to the python API and testing them (#6652)yoni206
2021-06-01Some additions to the datatypes python API (#6640)yoni206
2021-06-01FP value support in python API (#6644)yoni206
2021-05-31Update `toPythonObj` to use new getters -- part 1 (#6623)yoni206
2021-05-28Python API: bugfix + translating tests from cpp unit tests (#6559)yoni206
2021-05-21Use scikit-build CMake files for pycvc5 (#6543)makaimann
2021-05-20Avoid using printSynthSolution in the python API and examples (#6564)yoni206
2021-05-20Minor improvements to the API (#6585)Gereon Kremer
2021-05-20Add more getters for api::Term (#6496)Gereon Kremer
2021-05-13Adding functions to the python API and testing them -- part 2 (#6517)yoni206
2021-05-13Fix error message in toPythonObj (#6524)Alex Ozdemir
2021-05-08Adding functions to the python API and testing them (#6477)yoni206
2021-05-07Add support for datatype update (#6449)Andrew Reynolds
2021-05-07Fix for toPythonObj of integer value with real sort (#6505)makaimann
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-27Use std::hash for API types (#6432)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-20Add instantiation pool feature to the API (#6358)Andrew Reynolds
2021-04-20python API sorts: adding functions and tests (#6361)yoni206
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
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-05parsekinds: Remove DEFAULT_HEADER. (#6294)Mathias Preiner
2021-04-05python: Fix type casting in mkBitVector (#6261)NicolaasWeideman
2021-04-01Refactor CLN dependency & Cleanup (#6251)Gereon Kremer
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-30Fix compilation of Python bindings for named build directories (#6244)yoni206
2021-03-20Generate cvc/Kind.java for the java API (#6143)mudathirmahgoub
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-11-20Updates to API in preparation for using symbol manager for model (#5481)Andrew Reynolds
2020-11-10Add proper support for the declare-heap command for separation logic (#5405)Andrew Reynolds
2020-11-05Remove mkSingleton from the API (#5366)mudathirmahgoub
2020-10-29Add mkInteger to the API (#5274)mudathirmahgoub
2020-10-20Remove some Commands from the API. (#5268)Abdalrhman Mohamed
2020-10-07New C++ API: Rename Term::isConst() to Term::isValue(). (#5211)Aina Niemetz
2020-10-04Remove subtyping for sets theory (#5179)mudathirmahgoub
2020-09-22[Python API] Conversion to/from Unicode strings (#5120)Andres Noetzli
2020-09-22Add method to get Python object from constant value term in Python API (#5083)makaimann
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-02[Python API] Add missing methods to Datatype/Term (#4998)Andres Noetzli
2020-09-01[API] Fix Python Examples (#4943)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback