projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
api: Rename get(Selector|Constructor)Term() to getTerm(). (#8537)
[cvc5.git] / test / unit / api / python / test_sort.py
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm... blob | commitdiff | raw
2022-04-01 Gereon KremerRemove decorator from python API (#8505) blob | commitdiff | raw | diff to current
2022-04-01 Mathias Preinerapi: Use std::optional for symbols in mk* functions... blob | commitdiff | raw | diff to current
2022-03-31 Aina NiemetzSort, TypeNode: Rename functions related to datatypes... blob | commitdiff | raw | diff to current
2022-03-30 Aina Niemetzapi: Add Sort::getUninterpretedSortConstructor(). ... blob | commitdiff | raw | diff to current
2022-03-29 Aina Niemetzapi: Add Sort::getInstantiatedParameters(). (#8445) blob | commitdiff | raw | diff to current
2022-03-29 Aina Niemetzapi: Add Sort::isInstantiated(). (#8425) blob | commitdiff | raw | diff to current
2022-03-26 Aina Niemetzapi: Rename *SortConstructor* to *UninterpretedSortCons... blob | commitdiff | raw | diff to current
2022-03-25 Aina Niemetzapi: Remove Sort::isParametricDatatype(). (#8405) blob | commitdiff | raw | diff to current
2022-03-15 Aina Niemetzapi: Remove Sort::isFirstClass(). (#8312) blob | commitdiff | raw | diff to current
2022-03-14 Andrew ReynoldsRemove unecessary methods from the API (#8260) blob | commitdiff | raw | diff to current
2022-02-02 Alex OzdemirChange name of Python API's package from pycvc5 to... blob | commitdiff | raw | diff to current
2022-01-10 Aina Niemetzapi: Remove Sort::isComparableTo(). (#7903) blob | commitdiff | raw | diff to current
2021-12-16 Aina Niemetzapi: Add Sort::hasSymbol() and Sort::getSymbol(). ... blob | commitdiff | raw | diff to current
2021-12-08 Gereon KremerTurn kinds in python API into a proper Enum (#7686) blob | commitdiff | raw | diff to current
2021-11-10 Aina NiemetzReorganize test/unit/api directory. (#7612) blob | commitdiff | raw | diff to current
2020-11-03 makaimannRun python tests during make check (#5226) blob | commitdiff | raw
2020-10-06 mudathirmahgoubRemove subtyping for sets (#5205) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943) blob | commitdiff | raw | diff to current
2020-07-30 Andres NoetzliPython API: Add support for sequences (#4757) blob | commitdiff | raw | diff to current
2020-06-29 makaimannPython Sort tests (#4639) blob | commitdiff | raw | diff to current