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_solver.py
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-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 Aina NiemetzPython API: Do not rename enumerators. (#8507) 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 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-30 yoni206Adding some missing python API methods and tests (... blob | commitdiff | raw | diff to current
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref... 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 Andres NoetzliMove `RoundingMode` to `cvc5_types.h` (#8427) 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-26 yoni206Separating produce-interpols from the mode of interpola... 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 Andrew ReynoldsUpdate checkSynth and checkSynthNext to return SynthRes... blob | commitdiff | raw | diff to current
2022-03-25 Andres NoetzliFix Python API tests (#8392) 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 Gereon KremerAdd `getOptionInfo()` and `getOptionNames()` to python... blob | commitdiff | raw | diff to current
2022-03-20 Gereon KremerAdd `getStatistics()` to python API (#8343) 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-08 Andres Noetzli[API/Python] Add support for `Solver::getProof()` ... 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-03 Aina NiemetzRename kind PLUS -> ADD. (#8036) blob | commitdiff | raw | diff to current
2022-02-03 Aina Niemetzapi: Rename kinds MINUS -> SUB and UMINUS -> NEG. ... 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-13 Andres NoetzliUnify abstract values and uninterpreted constants ... blob | commitdiff | raw | diff to current
2022-01-06 Andrew ReynoldsDisallow separation logic in incremental mode (#7888) 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 Aina Niemetzapi: Add Solver::mkUnresolvedSort(). (#7817) 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-30 yoni206Translating more cpp API unit tests to python (#7669) blob | commitdiff | raw | diff to current
2021-11-25 Aina Niemetzapi: Refactor mkTerm for kinds with arity = 0. (#7699) blob | commitdiff | raw | diff to current
2021-11-24 Andres NoetzliAlways enable API black box unit tests (#7696) blob | commitdiff | raw | diff to current
2021-11-24 Aina Niemetzapi: Fix creation of nary term kinds via Op. (#7688) blob | commitdiff | raw | diff to current
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) blob | commitdiff | raw | diff to current
2021-11-10 Aina NiemetzReorganize test/unit/api directory. (#7612) blob | commitdiff | raw | diff to current