projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adding some missing python API methods and tests (#8441)
[cvc5.git] / test / unit /
2022-03-30 yoni206Adding some missing python API methods and tests (... tree | commitdiff
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref... tree | commitdiff
2022-03-30 mudathirmahgoubFix some documentation warnings (#8453) tree | commitdiff
2022-03-30 Aina NiemetzTypeNode: Rename isSort() and getSortConstructorArity... tree | commitdiff
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace... tree | commitdiff
2022-03-29 Aina Niemetzapi: Add Sort::getInstantiatedParameters(). (#8445) tree | commitdiff
2022-03-29 Andrew ReynoldsAdd information for cardinality constraint to the API... tree | commitdiff
2022-03-29 Andres Noetzli[API] Add `{is,get}RoundingModeValue()` (#8429) tree | commitdiff
2022-03-29 Aina Niemetzapi: Add Sort::isInstantiated(). (#8425) tree | commitdiff
2022-03-29 Andres NoetzliMove `RoundingMode` to `cvc5_types.h` (#8427) tree | commitdiff
2022-03-28 Mathias PreinerRename get-interpol to get-interpolant. (#8424) tree | commitdiff
2022-03-28 Aina Niemetzapi: Remove left-over Sort::getUninterpretedSortName... tree | commitdiff
2022-03-28 Andrew ReynoldsFix synth result python unit test (#8418) tree | commitdiff
2022-03-26 yoni206Separating produce-interpols from the mode of interpola... tree | commitdiff
2022-03-26 Aina Niemetzapi: Rename *SortConstructor* to *UninterpretedSortCons... tree | commitdiff
2022-03-26 Andrew ReynoldsFixes for API kind documentation (#8397) tree | commitdiff
2022-03-26 Gereon KremerAdd API unit tests for options (#8339) tree | commitdiff
2022-03-25 Mathias Preinerapi: Unify mkOp variants. (#8369) tree | commitdiff
2022-03-25 Aina Niemetzapi: Remove Sort::isParametricDatatype(). (#8405) tree | commitdiff
2022-03-25 Andrew ReynoldsUpdate checkSynth and checkSynthNext to return SynthRes... tree | commitdiff
2022-03-25 Andres NoetzliFix Python API tests (#8392) tree | commitdiff
2022-03-25 Andrew ReynoldsProperly guard commands in the SyGuS API (#8390) tree | commitdiff
2022-03-23 Gereon KremerAdd API unit tests for statistics (#8341) tree | commitdiff
2022-03-23 Andrew ReynoldsAdd SynthResult to the API (#8370) tree | commitdiff
2022-03-23 Gereon KremerAdd `getOptionInfo()` and `getOptionNames()` to python... tree | commitdiff
2022-03-22 Andres Noetzli[FP] Remove `FLOATINGPOINT_TO_FP_GENERIC` kind (#8334) tree | commitdiff
2022-03-22 Andrew ReynoldsRefactor result class (#8313) tree | commitdiff
2022-03-22 Mathias Preinerapi: Unify mkTerm variants. (#8357) tree | commitdiff
2022-03-22 Andres Noetzli[API] Support `Op::operator[]` in Java and Python ... tree | commitdiff
2022-03-21 Andres NoetzliRemove `Op::getIndices()` (#8355) tree | commitdiff
2022-03-21 Gereon KremerFix names of unit tests (#8338) tree | commitdiff
2022-03-20 Gereon KremerAdd `getStatistics()` to python API (#8343) tree | commitdiff
2022-03-17 Aina Niemetzctest: Fix labels for python unit tests. (#8328) tree | commitdiff
2022-03-17 Gereon KremerReplace `Debug` by `Trace` (#7793) tree | commitdiff
2022-03-16 Aina NiemetzAdd unit test and assertion to test and catch cvc5... tree | commitdiff
2022-03-16 Mathias Preinerunit: Add test for api::Kind. (#8322) tree | commitdiff
2022-03-15 Aina Niemetzapi: Remove Sort::isFirstClass(). (#8312) tree | commitdiff
2022-03-15 Andrew ReynoldsAdd unit test involving seq concat term (#8257) tree | commitdiff
2022-03-15 mudathirmahgoubAdd skolem lemmas for bags card terms (#7995) tree | commitdiff
2022-03-15 Andrew ReynoldsProperly guard sort instantiate (#8247) tree | commitdiff
2022-03-15 Aina NiemetzRename TO_FP operator kinds. (#8285) tree | commitdiff
2022-03-14 Andrew ReynoldsRemove unecessary methods from the API (#8260) tree | commitdiff
2022-03-12 Mathias Preinercmake: Do not require googletest if unit tests are... tree | commitdiff
2022-03-11 Andres Noetzli[API/Python] Add support for `Solver::getModel()` ... tree | commitdiff
2022-03-11 Andrew ReynoldsUpdate abduction and interpolation API to not use pass... tree | commitdiff
2022-03-09 Gereon KremerClear obsolete pending lemmas in arithmetic (#8236) tree | commitdiff
2022-03-08 Andrew ReynoldsDo not expand APPLY_SELECTOR (#8174) tree | commitdiff
2022-03-08 Andres Noetzli[API/Python] Add support for `Solver::getProof()` ... tree | commitdiff
2022-03-07 Andres NoetzliUpdate documentation of `Solver::getUnsatCore()` (... tree | commitdiff
2022-03-05 Andrew ReynoldsUnit tests for fixed projects issues (#8229) tree | commitdiff
2022-03-05 Andrew ReynoldsMake seq.unit robust wrt subtyping (#8209) tree | commitdiff
2022-03-04 Gereon KremerAdd unit test for fixed issue (#8235) tree | commitdiff
2022-03-04 Andrew ReynoldsFix rewrite rule synthesis for 0-ary operators (#8221) tree | commitdiff
2022-03-04 Andrew ReynoldsAdd support for get learned literals in the API (#8099) tree | commitdiff
2022-03-02 Andrew ReynoldsEliminate CDHashMap::insertAtContextLevelZero (#8173) tree | commitdiff
2022-03-02 Andrew ReynoldsMake blockModelValues robust to non-closed enumerable... tree | commitdiff
2022-03-01 Gereon KremerRename cad to coverings (#8187) tree | commitdiff
2022-02-28 Andres NoetzliRemove broken/unused `--mmap` option (#8178) tree | commitdiff
2022-02-25 Andres Noetzli[Python API] Add support for blocking models (#8134) tree | commitdiff
2022-02-24 Andrew ReynoldsCheck for free variables in several SolverEngine calls... tree | commitdiff
2022-02-24 Andrew ReynoldsMake uninterpreted sort owner non-static (#8144) tree | commitdiff
2022-02-23 Gereon KremerRemove long obsolete unsafe interrupt exception (#8139) tree | commitdiff
2022-02-23 Andrew ReynoldsOption exception when incompatible with proofs (#8064) tree | commitdiff
2022-02-23 Andrew ReynoldsProperly sanatize user names in LFSC (#8080) tree | commitdiff
2022-02-23 Gereon KremerFix pruning of covering intervals in proofs (#8084) tree | commitdiff
2022-02-18 Andrew ReynoldsAdd unit test for fixed issue with get-difficulty ... tree | commitdiff
2022-02-18 Andrew ReynoldsThrow option exceptions when combining input conversion... tree | commitdiff
2022-02-18 Andrew ReynoldsAdd well formed term check to solver engine (#8056) tree | commitdiff
2022-02-09 Andres Noetzli[Seq] Fix rewrite of `(seq.nth s n)` for large `n`... tree | commitdiff
2022-02-08 Andrew ReynoldsAlways produce assertions (#8041) tree | commitdiff
2022-02-07 Andres Noetzli[BV] Fix response of `RewriteConcat` (#8074) tree | commitdiff
2022-02-03 Aina NiemetzRename kind PLUS -> ADD. (#8036) tree | commitdiff
2022-02-03 Aina Niemetzapi: Rename kinds MINUS -> SUB and UMINUS -> NEG. ... tree | commitdiff
2022-02-02 Alex OzdemirChange name of Python API's package from pycvc5 to... tree | commitdiff
2022-02-02 Andrew ReynoldsFix rewrite for eliminating constant factors of PI... tree | commitdiff
2022-02-02 Aina NiemetzRename kinds MINUS -> SUB and UMINUS -> NEG. (#8035) tree | commitdiff
2022-02-02 Aina Niemetzapi: Rename mk<Value> functions for FP for consistency... tree | commitdiff
2022-02-02 Andrew ReynoldsRemove more static calls to rewrite (#8025) tree | commitdiff
2022-02-01 mudathirmahgoubAdd bag.filter operator (#8006) tree | commitdiff
2022-01-31 Gereon KremerAdd utilities for flattening nodes (#7961) tree | commitdiff
2022-01-20 Gereon KremerRefactor abs rewriting (#7935) tree | commitdiff
2022-01-19 Andres NoetzliAdd rewrites for `seq.update`/`seq.nth` (#7966) tree | commitdiff
2022-01-14 Gereon KremerAdd support for RANs in rewriter for `MULT` (#7940) tree | commitdiff
2022-01-14 Gereon KremerAdd RAN support in UMINUS rewriter (#7933) tree | commitdiff
2022-01-13 Gereon KremerAdd arithmetic rewriter for RAN (#7929) tree | commitdiff
2022-01-13 Andres NoetzliUnify abstract values and uninterpreted constants ... tree | commitdiff
2022-01-13 Gereon KremerRefactor post rewriter for addition (#7931) tree | commitdiff
2022-01-10 Andrew ReynoldsCheck arity in Sort::instantiate (#7897) tree | commitdiff
2022-01-10 Gereon KremerAdd new methods for RealAlgebraicNumber (#7907) tree | commitdiff
2022-01-10 Aina Niemetzapi: Remove Sort::isComparableTo(). (#7903) tree | commitdiff
2022-01-06 Andrew ReynoldsDisallow separation logic in incremental mode (#7888) tree | commitdiff
2022-01-05 Aina Niemetzcppapi: Remove Datatype::hasNestedRecursion(). (#7878) tree | commitdiff
2022-01-05 Aina Niemetzapi: Add missing guard for Datatype::isFinite(). (... tree | commitdiff
2022-01-04 mudathirmahgoubRefactor bag solver (#7770) tree | commitdiff
2022-01-04 yoni206Adding interpolation and abduction to the python API... tree | commitdiff
2022-01-04 Aina Niemetzapi: Add unit test for null case of Sort::toString... tree | commitdiff
2022-01-04 Aina Niemetzapi: Remove redundant check in Term::toString(). (... tree | commitdiff
2021-12-22 Andrew ReynoldsAdd support for incremental + interpolants (#7853) tree | commitdiff
2021-12-21 Andrew ReynoldsSupport get-abduct-next (#7850) tree | commitdiff
2021-12-21 Andrew ReynoldsEliminate remaining calls to callExtendedRewrite (... tree | commitdiff
next