projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
make default and modes strings instead of enum values (#7656)
[cvc5.git] / test / unit / theory /
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-09 Aina Niemetzregex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match... tree | commitdiff
2021-11-08 mudathirmahgoubexpand bag.choose operator (#7481) tree | commitdiff
2021-11-08 Aina Niemetzsets: Rename kinds with a more consistent naming scheme... tree | commitdiff
2021-11-06 Gereon KremerRemove `Notice()` in favor of new `verbose()` (#7588) tree | commitdiff
2021-11-03 Andrew ReynoldsRefactor skolem construction (#7561) tree | commitdiff
2021-11-01 Mathias Preinerbv: Remove layered solver. (#7455) tree | commitdiff
2021-10-31 mudathirmahgoubFix soundess issue for bags with negative multiplicity... tree | commitdiff
2021-10-29 Andrew ReynoldsAdd PfRule ARITH_POLY_NORM (#7501) tree | commitdiff
2021-10-27 Andrew ReynoldsAvoid non-terminating check with assumptions in strings... tree | commitdiff
2021-10-22 yoni206Making `IntBlaster` inherit from `EnvObj` (#7431) tree | commitdiff
2021-10-11 Aina NiemetzRename SmtScope to SolverEngineScope. (#7284) tree | commitdiff
2021-10-04 Andrew ReynoldsEliminating static calls to rewriter from strings ... tree | commitdiff
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) tree | commitdiff
2021-09-24 Andrew ReynoldsEliminate calls to Rewriter::rewrite from strings entai... tree | commitdiff
2021-09-22 Andrew ReynoldsTowards standard usage of evaluator (#7189) tree | commitdiff
2021-09-17 Andres NoetzliUse a single `NodeManager` per thread (#7204) tree | commitdiff
2021-09-10 Andres NoetzliUse C++17 attributes (#7154) tree | commitdiff
2021-09-08 Andrew ReynoldsTowards standard usage of ExtendedRewriter (#7145) tree | commitdiff
2021-09-02 Andres Noetzli[Unit Tests] Fix bags rewrite test (#7114) tree | commitdiff
2021-09-01 mudathirmahgoubFixed TestTheoryWhiteBagsRewriter.map failure (#7103) tree | commitdiff
2021-08-31 yoni206bv-to-int-module: implementations and stubs for transla... tree | commitdiff
2021-08-30 mudathirmahgoubAdd kind BAG_MAP and its type rule to bags (#6503) tree | commitdiff
2021-08-24 yoni206bv-to-int: more implementations (#7051) tree | commitdiff
2021-08-20 Gereon KremerUse Env class in nonlinear extension (#7039) tree | commitdiff
2021-08-16 Gereon KremerMake Theory class use Env (#7011) tree | commitdiff
2021-08-03 Andrew ReynoldsRefactor shared solver to use theory builtin inference... tree | commitdiff
2021-07-27 Andrew ReynoldsMinor changes from proof-new (#6937) tree | commitdiff
2021-07-15 Mathias Preinerbv: Rename lazy solver to layered solver. (#6889) tree | commitdiff
2021-07-06 Gereon KremerIntegrate Lazard into CAD module (#6812) tree | commitdiff
2021-06-28 Andrew ReynoldsRename internal string kinds to match API (#6797) tree | commitdiff
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) tree | commitdiff
2021-06-15 Ouyancheng[Optimization] Use Result in OptimizationResult (#6740) tree | commitdiff
2021-06-09 Ouyancheng[Optimization] support for push/pop (#6706) tree | commitdiff
2021-06-04 yoni206pow2: header file for pow2 solver (#6676) tree | commitdiff
2021-06-04 Mathias Preinerbv: Enable bitblast solver by default. (#6660) tree | commitdiff
2021-06-02 Aina NiemetzRemove redundant logic ALL_SUPPORTED. (#6664) tree | commitdiff
2021-05-28 Ouyancheng(Optimization) remove popObjective, add resetObjectives... tree | commitdiff
2021-05-27 OuyanchengAdd Lexicographic + Pareto Optimizations (#6626) tree | commitdiff
2021-05-27 Andres NoetzliReturn `REWRITE_AGAIN` after rewriting bvcomp (#6624) tree | commitdiff
2021-05-27 OuyanchengAdd support for Box optimization (#6599) tree | commitdiff
2021-05-26 Andres Noetzli More precise includes of `Node` constants (#6617) tree | commitdiff
2021-05-21 Andres NoetzliSupport braced-init-lists with `mkNode()` (#6580) tree | commitdiff
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) tree | commitdiff
2021-05-18 Andres NoetzliFix `collectEmptyEqs()` in string utils (#6562) tree | commitdiff
2021-05-13 Mathias PreinerAdd std::hash overloads for Node, TNode and TypeNode... tree | commitdiff
2021-04-30 OuyanchengRefactor optimization result and objective classes... tree | commitdiff
2021-04-28 OuyanchengFix BV Optimization Boundary Condition when lower bound... tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-07 Andrew ReynoldsReplace calls to NodeManager::mkSkolem with SkolemManag... tree | commitdiff
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) tree | commitdiff
2021-04-05 Yancheng OuOptimizer for BitVectors (#6213) tree | commitdiff
2021-04-03 Andrew ReynoldsDisable substring component contains in strip endpoints... tree | commitdiff
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) tree | commitdiff
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) tree | commitdiff
2021-03-29 yoni206Modular bv2int part 1 (#6212) tree | commitdiff
2021-03-11 Gereon KremerMake linear arithmetic use its inference manager (... tree | commitdiff
2021-03-11 Aina NiemetzDelete Expr layer. (#6117) tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2021-03-06 Mathias PreinerRemove partial UDIV/UREM operators. (#6069) tree | commitdiff
2021-03-05 mcjunehoInitial implementation of an optimization solver with... tree | commitdiff
2021-03-03 Abdalrhman MohamedRemove uses of SExpr class. (#6035) tree | commitdiff
2021-03-02 Gereon KremerClean up includes to reduce compile times (#6031) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_quantifiers_bv_inve... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_quantifiers_bv_inst... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_strings_skolem_cach... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_strings_word_white... tree | commitdiff
2021-02-27 Aina Niemetzgoogle test: theory: Migrate theory_white. (#6006) tree | commitdiff
2021-02-26 Aina Niemetzgoogle test: theory: Migrate type_enumerator_white... tree | commitdiff
2021-02-26 Aina Niemetzgoogle test: theory: Migrate theory_sets_type_rules_whi... tree | commitdiff
2021-02-26 Aina Niemetzgoogle test: theory: Migrate theory_sets_type_enumerato... tree | commitdiff
2021-02-26 Mathias PreinerFix -Werror issues with clang and use clang for debug... tree | commitdiff
2021-02-25 Aina Niemetzgoogle test: theory: Migrate theory_bv_white. (#5987) tree | commitdiff
2021-02-25 Aina Niemetzgoogle test: theory: Migrate theory_bv_rewriter_white... tree | commitdiff
2021-02-25 Mathias PreinerEnable -Werror. (#5969) tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_type_rules_whi... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_engine_white. ... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_black. (#5985) tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate sequences_rewriter_white... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_normal_form_wh... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate logic_info_white. (#5973) tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_rewriter_white... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_arith_white. (... tree | commitdiff
2021-02-24 Aina Niemetzgoogle test: theory: Migrate evaluator_white. (#5972) tree | commitdiff
2021-02-23 Aina Niemetzgoogle test: theory: Migrate regexp_operation_black... tree | commitdiff
2021-02-23 Aina Niemetzgoogle test: theory: Migrate strings_rewriter_white... tree | commitdiff
2021-02-01 mudathirmahgoubFix BagsRewriter::rewriteUnionDisjoint (#5840) tree | commitdiff
2021-01-28 Andrew ReynoldsSimplify lemma interface (#5819) tree | commitdiff
2021-01-12 Aina Niemetzgoogle test: Use ASSERT_* instead of EXPECT_*. (#5765) tree | commitdiff
2021-01-11 Andrew ReynoldsMerge theory registrar and theory proxy (#5758) tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-12-02 Aina Niemetzgoogle test: Infrastructure and first api test. (#5548) tree | commitdiff
2020-12-01 Andres NoetzliImprove rewriting of str.<= (#4848) tree | commitdiff
2020-11-26 Andrew ReynoldsFully decouple SmtEngine and the Expr layer (#5532) tree | commitdiff
2020-11-21 mudathirmahgoubAdd posRewriteEqual to bags rewriter (#5498) tree | commitdiff
next