projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make one CI job not use libpoly (#8261)
[cvc5.git] / test / unit /
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
2021-12-21 yoni206Rewrite (pow2 x) to (pow 2 x) when x is a constant... tree | commitdiff
2021-12-21 Gereon KremerDisable unit tests without poly (#7844) tree | commitdiff
2021-12-20 Andrew ReynoldsAllow SyGuS subsolver to be reused in incremental mode... tree | commitdiff
2021-12-17 Aina Niemetzapi: java: Support default arity for Solver::mkUnresolv... tree | commitdiff
2021-12-17 Gereon KremerFix tracker in SubstitutionMap (#7829) tree | commitdiff
2021-12-17 Andrew ReynoldsGet getRealOrIntegerValueSign to the API (#7832) tree | commitdiff
2021-12-17 Aina Niemetzapi: Rename DatatypeSelector::getRangeSort() to getCodo... tree | commitdiff
2021-12-17 Aina Niemetzapi: Add Solver::mkUnresolvedSort(). (#7817) tree | commitdiff
2021-12-16 Aina Niemetzapi: Add Sort::hasSymbol() and Sort::getSymbol(). ... tree | commitdiff
2021-12-15 Andrew ReynoldsEnsure match terms are exhaustive in its type rule... tree | commitdiff
2021-12-14 Andrew ReynoldsEliminate static calls to rewrite in strings (#7803) tree | commitdiff
2021-12-14 Andrew ReynoldsThrow exception for getting value of non-well-founded... tree | commitdiff
2021-12-13 Andrew ReynoldsFixes and additions for API for parametric datatypes... tree | commitdiff
2021-12-13 yoni206Integrate new int-blaster (#7781) tree | commitdiff
2021-12-10 Aina NiemetzReorganize declareDatatype unit tests. (#7767) tree | commitdiff
2021-12-10 Andrew ReynoldsRefactor and fixes related to getSpecializedConstructor... tree | commitdiff
2021-12-09 Mathias Preinertest: Remove CDList memory limit test. (#7777) tree | commitdiff
2021-12-08 Andrew ReynoldsFix type rule for datatype updater for parametric sorts... tree | commitdiff
2021-12-08 Gereon KremerTurn kinds in python API into a proper Enum (#7686) tree | commitdiff
2021-12-08 Aina Niemetzapi: Fix Sort::getDatatypeArity() for non-parametric... tree | commitdiff
2021-12-08 Gereon KremerImprove options tests (#7761) tree | commitdiff
2021-12-07 makaimannAdd bitwise option to IntBlaster (#7721) tree | commitdiff
2021-12-03 Andrew ReynoldsCheck constructor is used in APPLY_CONSTRUCTOR (#7737) tree | commitdiff
2021-12-03 Andrew ReynoldsProper error for using constructor in multiple datatype... tree | commitdiff
2021-12-02 Gereon KremerAdd explicit 64bit getters for Integer class (#7728) tree | commitdiff
2021-12-02 Gereon KremerRemove void as possible option type (#7731) tree | commitdiff
2021-12-02 mudathirmahgoubadd bag.fold operator (#7718) tree | commitdiff
2021-12-02 Gereon KremerAdd unit tests for api::Solver::setOption() (#7708) tree | commitdiff
2021-11-30 yoni206Translating more cpp API unit tests to python (#7669) tree | commitdiff
2021-11-25 Aina Niemetzapi: Refactor mkTerm for kinds with arity = 0. (#7699) tree | commitdiff
2021-11-24 Andres NoetzliAlways enable API black box unit tests (#7696) tree | commitdiff
2021-11-24 Andres NoetzliRemove dependency of `TypeNode` on `Node` (#7690) tree | commitdiff
2021-11-24 Aina Niemetzapi: Fix creation of nary term kinds via Op. (#7688) tree | commitdiff
2021-11-22 Gereon KremerRefactor IO stream manipulators (#7555) tree | commitdiff
2021-11-20 yoni206bv2int module: translation of more cases (#7653) tree | commitdiff
2021-11-19 Mathias PreinerAllow negative denominator for CLN Rationals constructe... tree | commitdiff
2021-11-18 Aina Niemetzapi: Fix kind documentation for BAG_MAKE. (#7663) tree | commitdiff
2021-11-17 Gereon Kremermake default and modes strings instead of enum values... tree | commitdiff
2021-11-16 yoni206Translating API tests to Python — part 1 (#7597) tree | commitdiff
2021-11-15 Aina Niemetzapi: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632) tree | commitdiff
2021-11-13 mudathirmahgoubFix type error for rewriting bag.map bag.union_disjoint... tree | commitdiff
2021-11-13 mudathirmahgoubAdd operator set.map to theory of sets (#7641) tree | commitdiff
2021-11-12 mudathirmahgoubbags: Rename kinds with a more consistent naming scheme... tree | commitdiff
2021-11-12 Andres NoetzliRemove `ConstantMap<Rational>` (#7635) tree | commitdiff
2021-11-11 Abdalrhman MohamedAdd an API method to get the raw name of a term. (... tree | commitdiff
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) tree | commitdiff
2021-11-10 Aina NiemetzReorganize test/unit/api directory. (#7612) tree | commitdiff
2021-11-09 Aina NiemetzClean up ctest configuration and CI test configuration... tree | commitdiff
next