projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove CDDenseSet data structure (#7890)
[cvc5.git] / test /
2022-01-07 Andrew ReynoldsFix eager string preprocessing in incremental mode... tree | commitdiff
2022-01-07 Andrew ReynoldsAdd regressions for array sequence solver (#7874) tree | commitdiff
2022-01-07 Andres Noetzli[Regressions] Add directive for disabling testers ... tree | commitdiff
2022-01-06 Andrew ReynoldsMake alpha equivalence user context dependent (#7889) tree | commitdiff
2022-01-06 Andrew ReynoldsDisallow separation logic in incremental mode (#7888) tree | commitdiff
2022-01-06 Gereon KremerImprove theory combination in the presence of real... tree | commitdiff
2022-01-06 Andrew ReynoldsFix non-idempotent rewrite in arrays (#7887) 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 Andrew ReynoldsFix int blaster (#7856) tree | commitdiff
2022-01-04 mudathirmahgoubAdd bag.member operator to theory of bags (#7857) 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
2022-01-03 Andres NoetzliExecute `(reset)` command in parse-only mode (#7862) tree | commitdiff
2021-12-23 Andres Noetzli[Regressions] Support more complex scrubbers (#7819) 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 Andres NoetzliFix rewrite for `str.update(str.rev(s), n, t))` (#7838) 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-17 Mathias PreinerDisable unsat cores for quaternion_ds1_symm_0428.fof... tree | commitdiff
2021-12-16 Andrew ReynoldsFix get-model when sort constructors are present (... tree | commitdiff
2021-12-16 Aina Niemetzapi: Add Sort::hasSymbol() and Sort::getSymbol(). ... tree | commitdiff
2021-12-16 Andrew ReynoldsMinor fix for print benchmark. (#7821) tree | commitdiff
2021-12-16 yoni206bv-to-int: use pow2 operator (#7812) tree | commitdiff
2021-12-16 yoni206int-to-bv: fail if one of the arguments has type real... tree | commitdiff
2021-12-16 mudathirmahgoubAdd regression bags-of-bags-subtypes.smt2 (#7814) 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 mudathirmahgoubFix cvc5-projects issue 358 (#7804) tree | commitdiff
2021-12-14 Abdalrhman MohamedAdd a random Sygus enumerator. (#7782) tree | commitdiff
2021-12-14 Andrew ReynoldsThrow exception for getting value of non-well-founded... tree | commitdiff
2021-12-13 mudathirmahgoubA more efficient implementation for bag.card operator... tree | commitdiff
2021-12-13 Andrew ReynoldsFixes and additions for API for parametric datatypes... tree | commitdiff
2021-12-13 Gereon KremerImprove nonlinear solver (#7787) tree | commitdiff
2021-12-13 yoni206Integrate new int-blaster (#7781) tree | commitdiff
2021-12-13 mudathirmahgoubFix cvc5-projects issues #358 and #375 (#7743) 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-10 Abdalrhman MohamedMute `define-fun` command generated for named terms... tree | commitdiff
2021-12-09 Andrew ReynoldsConsider polarity in relevance manager (#7768) tree | commitdiff
2021-12-09 Mathias Preinertest: Remove CDList memory limit test. (#7777) tree | commitdiff
2021-12-08 Andrew ReynoldsMake several regressions faster (#7769) 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 Andrew ReynoldsAllow sygus in incremental mode (#7756) tree | commitdiff
2021-12-07 Andrew ReynoldsMake data structures in relevance manager SAT-context... tree | commitdiff
2021-12-07 makaimannAdd bitwise option to IntBlaster (#7721) tree | commitdiff
2021-12-07 Gereon KremerFix 32bit issue in sep_log_api test (#7752) tree | commitdiff
2021-12-06 Gereon KremerDisable option regression for competition build (#7751) tree | commitdiff
2021-12-06 Andrew ReynoldsAdd regressions for fixed projects issues (#7739) 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-12-01 yoni206Translating API tests to Python — part 2 (#7651) tree | commitdiff
2021-12-01 Andrew ReynoldsRemove spurious assertion in parser (#7713) tree | commitdiff
2021-11-30 yoni206Translating more cpp API unit tests to python (#7669) tree | commitdiff
2021-11-30 Mathias PreinerChange CVC4 urls to cvc5. (#7706) tree | commitdiff
2021-11-30 Andrew ReynoldsAdd rewrite for is_int pi (#7711) tree | commitdiff
2021-11-30 Andrew ReynoldsProper check for first-class types in datatype subfield... tree | commitdiff
2021-11-30 Gereon KremerRemove now unused dumping infrastructure (#7703) tree | commitdiff
2021-11-25 Mathias PreinerGuard regression tests that require libpoly to pass... 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 Andrew ReynoldsFix potential for cycles in trust substitutions (#7687) tree | commitdiff
2021-11-24 Aina Niemetzapi: Fix creation of nary term kinds via Op. (#7688) tree | commitdiff
2021-11-23 mudathirmahgoubAdd rewrite rule for bag.card operator using bag.map... tree | commitdiff
2021-11-22 Gereon KremerRefactor IO stream manipulators (#7555) tree | commitdiff
2021-11-22 Andrew ReynoldsFix const RE test for internal regexp rv kind (#7678) 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-17 Andres NoetzliFix binding of quoted symbols in `define-fun` (#7655) tree | commitdiff
2021-11-16 yoni206Translating API tests to Python — part 1 (#7597) tree | commitdiff
2021-11-16 Haniel Barbosa[proofs] Make sure --proof-check=... is no-op when... tree | commitdiff
2021-11-15 Aina Niemetzapi: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632) tree | commitdiff
2021-11-13 Andres NoetzliSkip `str.code` inferences for sequence eqcs (#7644) 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-11 Andrew ReynoldsAdd lazy approach for handling lambdas in the HO extens... tree | commitdiff
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) tree | commitdiff
next