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] / src / api / python / cvc5.pxi
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm... blob | commitdiff | raw
2022-04-02 Aina Niemetzapi: Remove DatatypeConstructor::getSelectorTerm()... blob | commitdiff | raw | diff to current
2022-04-02 Andrew ReynoldsAdd a few miscellaneous pieces of documentation (#8533) blob | commitdiff | raw | diff to current
2022-04-01 Gereon KremerSimplify the python base API in a few places (#8514) blob | commitdiff | raw | diff to current
2022-04-01 Andrew ReynoldsSimplifications to the datatypes API (#8511) blob | commitdiff | raw | diff to current
2022-04-01 Aina Niemetzapi: Remove Datatype::getConstructorTerm(). (#8529) blob | commitdiff | raw | diff to current
2022-04-01 Gereon KremerDocument special member functions in python API (#8513) blob | commitdiff | raw | diff to current
2022-04-01 Gereon KremerRemove decorator from python API (#8505) blob | commitdiff | raw | diff to current
2022-04-01 Andres Noetzli[API] Add mode argument for `Solver::blockModel()`... blob | commitdiff | raw | diff to current
2022-04-01 Aina NiemetzPython api: Various fixes in docs. (#8480) blob | commitdiff | raw | diff to current
2022-04-01 Andres Noetzli[API] Remove redundant version of `mkFunctionSort`... blob | commitdiff | raw | diff to current
2022-04-01 Mathias Preinerapi: Swap arguments of declareSygusVar. (#8499) 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-31 Aina Niemetzapi: Remove warning for Sort::instantiate(). (#8475) blob | commitdiff | raw | diff to current
2022-03-30 Aina Niemetzapi: Add Sort::getUninterpretedSortConstructor(). ... blob | commitdiff | raw | diff to current
2022-03-30 Andres Noetzli[API] Move `UnknownExplanation` to `cvc5_types.h` ... blob | commitdiff | raw | diff to current
2022-03-30 yoni206Add information for cardinality constraint to the Pytho... blob | commitdiff | raw | diff to current
2022-03-30 yoni206Adding some missing python API methods and tests (... blob | commitdiff | raw | diff to current
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace... blob | commitdiff | raw | diff to current
2022-03-29 Aina Niemetzapi: Add Sort::getInstantiatedParameters(). (#8445) blob | commitdiff | raw | diff to current
2022-03-29 Andres Noetzli[API] Add `{is,get}RoundingModeValue()` (#8429) blob | commitdiff | raw | diff to current
2022-03-29 Aina Niemetzapi: Add Sort::isInstantiated(). (#8425) blob | commitdiff | raw | diff to current
2022-03-29 Andres NoetzliMove `RoundingMode` to `cvc5_types.h` (#8427) blob | commitdiff | raw | diff to current
2022-03-28 Andrew ReynoldsMark more methods as experimental (#8426) blob | commitdiff | raw | diff to current
2022-03-28 Mathias PreinerRename get-interpol to get-interpolant. (#8424) blob | commitdiff | raw | diff to current
2022-03-28 Andres Noetzli[API] Mark methods as experimental (#8249) blob | commitdiff | raw | diff to current
2022-03-26 Aina Niemetzapi: Rename *SortConstructor* to *UninterpretedSortCons... blob | commitdiff | raw | diff to current
2022-03-25 Mathias Preinerapi: Unify mkOp variants. (#8369) blob | commitdiff | raw | diff to current
2022-03-25 Aina Niemetzapi: Remove Sort::isParametricDatatype(). (#8405) blob | commitdiff | raw | diff to current
2022-03-25 Andrew ReynoldsUpdate checkSynth and checkSynthNext to return SynthRes... blob | commitdiff | raw | diff to current
2022-03-25 Andrew ReynoldsProperly guard commands in the SyGuS API (#8390) blob | commitdiff | raw | diff to current
2022-03-23 Andrew ReynoldsAdd SynthResult to the API (#8370) blob | commitdiff | raw | diff to current
2022-03-23 Gereon KremerAdd `getOptionInfo()` and `getOptionNames()` to python... blob | commitdiff | raw | diff to current
2022-03-22 Andrew ReynoldsRefactor result class (#8313) blob | commitdiff | raw | diff to current
2022-03-22 Andres Noetzli[API] Support `Op::operator[]` in Java and Python ... blob | commitdiff | raw | diff to current
2022-03-21 Andres NoetzliRemove `Op::getIndices()` (#8355) blob | commitdiff | raw | diff to current
2022-03-20 Gereon KremerAdd `getStatistics()` to python API (#8343) 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-03-11 Andres Noetzli[API/Python] Add support for `Solver::getModel()` ... blob | commitdiff | raw | diff to current
2022-03-11 Andrew ReynoldsUpdate abduction and interpolation API to not use pass... blob | commitdiff | raw | diff to current
2022-03-09 Andrew ReynoldsChange interface for printing instantiations in the... blob | commitdiff | raw | diff to current
2022-03-08 Andres Noetzli[API/Python] Add support for `Solver::getProof()` ... blob | commitdiff | raw | diff to current
2022-03-07 Andres NoetzliUpdate documentation of `Solver::getUnsatCore()` (... blob | commitdiff | raw | diff to current
2022-03-07 Gereon KremerFix docs warnings (#8019) blob | commitdiff | raw | diff to current
2022-03-04 Andrew ReynoldsAdd support for get learned literals in the API (#8099) blob | commitdiff | raw | diff to current
2022-02-25 Andres Noetzli[Python API] Add support for blocking models (#8134) 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-02-02 Aina Niemetzapi: Rename mk<Value> functions for FP for consistency... blob | commitdiff | raw | diff to current
2022-01-27 Andrew ReynoldsDocument substitute in API (#7904) blob | commitdiff | raw | diff to current
2022-01-13 Andres NoetzliUnify abstract values and uninterpreted constants ... blob | commitdiff | raw | diff to current
2022-01-10 Aina Niemetzapi: Remove Sort::isComparableTo(). (#7903) blob | commitdiff | raw | diff to current
2022-01-05 Aina Niemetzcppapi: Remove Datatype::hasNestedRecursion(). (#7878) blob | commitdiff | raw | diff to current
2022-01-05 Alex OzdemirDon't use python's collections.Set (#7875) blob | commitdiff | raw | diff to current
2022-01-04 yoni206Adding interpolation and abduction to the python API... blob | commitdiff | raw | diff to current
2021-12-20 Andrew ReynoldsAllow SyGuS subsolver to be reused in incremental mode... blob | commitdiff | raw | diff to current
2021-12-17 Andrew ReynoldsGet getRealOrIntegerValueSign to the API (#7832) blob | commitdiff | raw | diff to current
2021-12-17 Aina Niemetzapi: Rename DatatypeSelector::getRangeSort() to getCodo... blob | commitdiff | raw | diff to current
2021-12-17 Aina Niemetzapi: Add Solver::mkUnresolvedSort(). (#7817) 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-13 Andrew ReynoldsFixes and additions for API for parametric datatypes... blob | commitdiff | raw | diff to current
2021-12-10 Aina Niemetzapi: Use 'note' constructs for API documentation. ... 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-12-08 Aina Niemetzapi: Improve documentation for getDatatypeParamSorts... blob | commitdiff | raw | diff to current
2021-11-23 yoni206Python API documentation: terms (#7659) blob | commitdiff | raw | diff to current
2021-11-11 Abdalrhman MohamedAdd an API method to get the raw name of a term. (... blob | commitdiff | raw | diff to current
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) blob | commitdiff | raw | diff to current
2021-11-09 Aina Niemetzregex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match... blob | commitdiff | raw | diff to current
2021-11-03 Aina Niemetzapi: Rename some separation logic functions for consist... blob | commitdiff | raw | diff to current
2021-10-28 Abdalrhman MohamedAdd a `define-fun` command for each `:named` term.... blob | commitdiff | raw | diff to current
2021-10-28 Gereon KremerRemove separate cpp docs for UnknownExplanation (#7516) blob | commitdiff | raw | diff to current
2021-10-27 yoni206Python api documentation for sorts (#7440) blob | commitdiff | raw | diff to current
2021-10-25 Andrew ReynoldsJava and python unit tests for mkCardinalityConstraint... blob | commitdiff | raw | diff to current
2021-10-20 Aina Niemetzapi: Add Solver::mkSepEmp(). (#7432) blob | commitdiff | raw | diff to current
2021-10-20 yoni206Add `isNull` and `isUpdater` to `Sort` class of python... blob | commitdiff | raw | diff to current
2021-10-20 Aina Niemetzapi: Rename get(BV|FP)*Size functions for consistency... blob | commitdiff | raw | diff to current
2021-10-15 yoni206Python api documentation: Op, Grammar, Result, Enums... blob | commitdiff | raw | diff to current
2021-10-15 Alex OzdemirFix bad cast in the python API (#7359) blob | commitdiff | raw | diff to current
2021-10-04 Gereon KremerVarious improvements to documentation (#7283) blob | commitdiff | raw | diff to current
2021-10-01 Gereon KremerFix some python docstrings which lead to sphinx warning... blob | commitdiff | raw | diff to current
2021-09-20 Alex OzdemirStart python API Solver documentation (#7064) blob | commitdiff | raw | diff to current
2021-08-30 yoni206python docs for Datatype-related classes (#7058) blob | commitdiff | raw | diff to current
2021-08-27 Andrew ReynoldsAdd missing methods to Solver API for models (#7052) blob | commitdiff | raw | diff to current
2021-08-27 yoni206Add `isNull` to cpp api tests, python api, and python... blob | commitdiff | raw | diff to current
2021-08-23 yoni206Adding parameters to Datatype python API documentation... blob | commitdiff | raw | diff to current
2021-08-23 Aina Niemetzapi: Require size argument for mkBitVector. (#6998) blob | commitdiff | raw | diff to current
2021-08-20 Gereon KremerMake driver use options from the solver (#6930) blob | commitdiff | raw | diff to current
2021-06-22 yoni206python api unit tests for Op (#6785) blob | commitdiff | raw | diff to current
2021-06-22 yoni206Python api unit tests for Result (#6763) blob | commitdiff | raw | diff to current
2021-06-19 Ying ShengAdding python API test part 5 (#6743) blob | commitdiff | raw | diff to current
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) blob | commitdiff | raw | diff to current
2021-06-08 Alex OzdemirChange output of getRealValue to a fraction. (#6692) blob | commitdiff | raw | diff to current
2021-06-03 yoni206Adding unit tests for the datatypes python API (#6658) blob | commitdiff | raw | diff to current
2021-06-02 yoni206Adding getters to the python API and testing them ... blob | commitdiff | raw | diff to current
2021-06-01 yoni206Some additions to the datatypes python API (#6640) blob | commitdiff | raw | diff to current
2021-06-01 yoni206FP value support in python API (#6644) blob | commitdiff | raw | diff to current
2021-05-31 yoni206Update `toPythonObj` to use new getters -- part 1 ... blob | commitdiff | raw | diff to current
2021-05-28 yoni206Python API: bugfix + translating tests from cpp unit... blob | commitdiff | raw | diff to current
2021-05-20 yoni206Avoid using printSynthSolution in the python API and... blob | commitdiff | raw | diff to current
next