summaryrefslogtreecommitdiff
path: root/test/unit/api/python
AgeCommit message (Expand)Author
2021-12-13Fixes and additions for API for parametric datatypes (#7760)Andrew Reynolds
2021-12-08Turn kinds in python API into a proper Enum (#7686)Gereon Kremer
2021-11-30Translating more cpp API unit tests to python (#7669)yoni206
2021-11-25api: Refactor mkTerm for kinds with arity = 0. (#7699)Aina Niemetz
2021-11-24Always enable API black box unit tests (#7696)Andres Noetzli
2021-11-24api: Fix creation of nary term kinds via Op. (#7688)Aina Niemetz
2021-11-16Translating API tests to Python — part 1 (#7597)yoni206
2021-11-11Add an API method to get the raw name of a term. (#7618)Abdalrhman Mohamed
2021-11-10api: Add Solver::mkRegexpAll(). (#7614)Aina Niemetz
2021-11-10Reorganize test/unit/api directory. (#7612)Aina Niemetz
2020-11-02Run python tests during make check (#5226)makaimann
2020-10-29Add mkInteger to the API (#5274)mudathirmahgoub
2020-10-07New C++ API: Rename Term::isConst() to Term::isValue(). (#5211)Aina Niemetz
2020-10-05Remove subtyping for sets (#5205)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
2020-08-03Delete solver pointer in Cython __dealloc__ (#4799)makaimann
2020-07-31Add SyGuS Python API (#4812)yoni206
2020-07-30Python API: Add support for sequences (#4757)Andres Noetzli
2020-06-29Python Sort tests (#4639)makaimann
2020-06-10Fix getKind for Python bindings (#4496)makaimann
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback