projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
update-copyright: Update to 2019.
[cvc5.git] / test /
2019-03-24 Aina NiemetzBV: Fix typerules for rotate operators. (#2895) tree | commitdiff
2019-03-23 Andres NoetzliFix memory leak when using subsolvers (#2893) tree | commitdiff
2019-03-23 Andres NoetzliStrip non-matching beginning from indexof operator... tree | commitdiff
2019-03-22 Andrew ReynoldsMore fixes for PBE with datatypes (#2882) tree | commitdiff
2019-03-22 Andres NoetzliFix stripConstantEndpoints in strings rewriter (#2883) tree | commitdiff
2019-03-21 Andrew ReynoldsRewrite selectors correctly applied to constructors... tree | commitdiff
2019-03-20 Andrew ReynoldsSygus abduction feature (#2744) tree | commitdiff
2019-03-19 Andrew ReynoldsFix fairness issue with fast sygus enumerator (#2873) tree | commitdiff
2019-03-19 Aina NiemetzNew C++: Remove redundant mkBoundVar function. tree | commitdiff
2019-03-19 Aina NiemetzNew C++: Remove redundant mkVar function. tree | commitdiff
2019-03-18 Aina NiemetzBitVector: Allow base 10 in constructor. (#2870) tree | commitdiff
2019-03-16 Alex OzdemirEnable CryptoMiniSat-backed BV proofs (#2847) tree | commitdiff
2019-03-15 Haniel BarbosaNew beta-reduction for HOL solving (#2869) tree | commitdiff
2019-03-14 Andrew ReynoldsUse zero slope tangent planes for transcendental functi... tree | commitdiff
2019-03-14 Andrew ReynoldsImplement proper semantics for TPTP predicate is_rat... tree | commitdiff
2019-03-12 Andrew Reynolds Move tuple/record update elimination from ppRewrite... tree | commitdiff
2019-03-01 Alex OzdemirErProof class with LFSC output (#2812) tree | commitdiff
2019-02-13 Aina NiemetzNew C++ API: Remove redundant declareFun function.... tree | commitdiff
2019-02-13 Andres NoetzliRewrite simple regexp pattern to str.contains (#2827) tree | commitdiff
2019-02-13 Aina NiemetzNew C++ API: Remove redundant mkTerm function. (#2836) tree | commitdiff
2019-02-11 Aina NiemetzNew C++ API: Unit tests for declare* functions. (#2831) tree | commitdiff
2019-02-05 Andres NoetzliMake stripConstantEndpoints() less aggressive (#2830) tree | commitdiff
2019-02-04 Andres NoetzliAdd rewrite for contains + const strings replace (... tree | commitdiff
2019-02-02 Andres NoetzliFix corner case in stripConstantEndpoints (#2824) tree | commitdiff
2019-01-29 Andres NoetzliFix warning due to catching polymorphic exceptions... tree | commitdiff
2019-01-29 Aina NiemetzNew C++ API: Fix checks for mkTerm. (#2820) tree | commitdiff
2019-01-29 Andres NoetzliStrings: Remove redundant replace rewrite (#2822) tree | commitdiff
2019-01-23 Andres NoetzliStrings: Strengthen multiset reasoning (#2817) tree | commitdiff
2019-01-22 Andrew Reynolds Fix tuple and record CVC printing (#2818) tree | commitdiff
2019-01-22 Andrew Reynolds Fix parsing of overloaded parametric datatype selector... tree | commitdiff
2019-01-17 Andres NoetzliAdd option to print BV constants in binary (#2805) tree | commitdiff
2019-01-16 Andrew ReynoldsFix constant contains ITOS rewrite (#2799) tree | commitdiff
2019-01-15 Andrew Reynolds Fix unsound double abs rewrite rule for FP (#2792) tree | commitdiff
2019-01-13 Alex OzdemirLFSC LRAT Output (#2787) tree | commitdiff
2019-01-11 Aina NiemetzNew C++ API: Add unit tests for setInfo, setLogic,... tree | commitdiff
2019-01-10 Aina NiemetzNew C++ API: Get rid of mkConst functions (simplify... tree | commitdiff
2019-01-09 Andrew ReynoldsDo not rewrite 1-constructor sygus testers to true... tree | commitdiff
2019-01-09 Alex OzdemirClause proof printing (#2779) tree | commitdiff
2019-01-09 Alex OzdemirLFSC drat output (#2776) tree | commitdiff
2019-01-07 Aina NiemetzNew C++ API: Add missing getType() calls to kick off... tree | commitdiff
2019-01-06 Alex Ozdemir[DRAT] DRAT data structure (#2767) tree | commitdiff
2019-01-04 Andres NoetzliC++ API: Fix OOB read in unit test (#2774) tree | commitdiff
2019-01-03 Andres NoetzliAPI/Smt2 parser: refactor termAtomic (#2674) tree | commitdiff
2019-01-03 Andres NoetzliC++ API: Reintroduce zero-value mkBitVector method... tree | commitdiff
2019-01-03 Aina NiemetzNew C++ API: Add tests for mk-functions in solver objec... tree | commitdiff
2018-12-19 Andrew ReynoldsFix issues with REWRITE_DONE in floating point rewriter... tree | commitdiff
2018-12-17 Aina NiemetzNew C++ API: Add tests for term object. (#2755) tree | commitdiff
2018-12-14 Aina NiemetzNew C++ API: Add tests for opterm object. (#2756) tree | commitdiff
2018-12-14 Andrew Reynolds Fix extended rewriter for binary associative operators... tree | commitdiff
2018-12-13 Aina NiemetzNew C++ API: Add tests for sort functions of solver... tree | commitdiff
2018-12-12 Andres NoetzliAPI: Add simple empty/sigma regexp unit tests (#2746) tree | commitdiff
2018-12-11 Andrew ReynoldsRemove alternate versions of mbqi (#2742) tree | commitdiff
2018-12-10 makaimannBoolToBV modes (off, ite, all) (#2530) tree | commitdiff
2018-12-07 Andres NoetzliStrings: Make EXTF_d inference more conservative (... tree | commitdiff
2018-12-07 Alex OzdemirEnable BV proofs when using an eager bitblaster (#2733) tree | commitdiff
2018-11-28 Andrew ReynoldsOptimize re-elim for re.allchar components (#2725) tree | commitdiff
2018-11-28 Andres NoetzliImprove skolem caching by normalizing skolem args ... tree | commitdiff
2018-11-22 Andres NoetzliAdd rewrite for (str.substr s x y) --> "" (#2695) tree | commitdiff
2018-11-21 Andrew ReynoldsQuickly recognize when PBE conjectures are infeasible... tree | commitdiff
2018-11-21 Andrew ReynoldsSupport string replace all (#2704) tree | commitdiff
2018-11-20 Andrew ReynoldsFix real2int regression. (#2716) tree | commitdiff
2018-11-19 Andrew ReynoldsFix E-matching for case where candidate generator is... tree | commitdiff
2018-11-08 Andres NoetzliEvaluator: add support for str.code (#2696) tree | commitdiff
2018-11-07 Haniel BarbosaAdding default SyGuS grammar construction for arrays... tree | commitdiff
2018-11-07 Andres NoetzliFix collectEmptyEqs in string rewriter (#2692) tree | commitdiff
2018-11-05 Aina NiemetzNew C++ API: Split unit tests. (#2688) tree | commitdiff
2018-11-05 yoni206Increasing coverage (#2683) tree | commitdiff
2018-11-05 Andres NoetzliAPI: Fix assignment operators (#2680) tree | commitdiff
2018-11-05 Andrew ReynoldsAllow partial models with optimized sygus enumeration... tree | commitdiff
2018-11-02 yoni206fixes to regression docs (#2679) tree | commitdiff
2018-10-22 Andres NoetzliRecover from wrong use of get-info :reason-unknown... tree | commitdiff
2018-10-20 Andres NoetzliAdd substr, contains and equality rewrites (#2665) tree | commitdiff
2018-10-20 Andres NoetzliDisable dumping test for non-dumping builds (#2662) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-10-19 Andres NoetzliAdd helper to detect length one string terms (#2654) tree | commitdiff
2018-10-19 Andres NoetzliAdd OptionException handling during initialization... tree | commitdiff
2018-10-19 Mathias Preinercmake: Run regression level 2 for make check. (#2645) tree | commitdiff
2018-10-19 Andrew ReynoldsNon-implied mode for model cores (#2653) tree | commitdiff
2018-10-18 Andrew ReynoldsNon-contributing find replace rewrite (#2652) tree | commitdiff
2018-10-18 Andrew ReynoldsImprove reduction for str.to.int (#2636) tree | commitdiff
2018-10-18 Andrew ReynoldsConstant length regular expression elimination (#2646) tree | commitdiff
2018-10-18 Andres Noetzli Skip sygus-rr-synth-check regressions when ASAN on... tree | commitdiff
2018-10-18 Andres NoetzliShow if ASAN build in --show-config (#2650) tree | commitdiff
2018-10-16 Mathias Preinercmake: Add CxxTest include directory to unit test inclu... tree | commitdiff
2018-10-15 Andrew ReynoldsDelay initialization of theory engine (#2621) tree | commitdiff
2018-10-15 Andres NoetzliAdd more (str.replace x y z) rewrites (#2628) tree | commitdiff
2018-10-14 Andres NoetzliFix fp-bool.sy grammar and require symfpu (#2631) tree | commitdiff
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624) tree | commitdiff
2018-10-12 Andres Noetzli Add rewrites for str.replace in str.contains (#2623) tree | commitdiff
2018-10-11 Andres NoetzliImprove reasoning about empty strings in rewriter ... tree | commitdiff
2018-10-11 Andrew Reynolds Fix string ext inference for rewrites that introduce... tree | commitdiff
2018-10-10 Andrew ReynoldsOptimize regular expression elimination (#2612) tree | commitdiff
2018-10-10 Andres NoetzliAdd length-based rewrites for (str.substr _ _ _) (... tree | commitdiff
2018-10-09 Andrew Reynolds Support for basic actively-generated enumerators ... tree | commitdiff
2018-10-09 Aina NiemetzBV instantiator: Factor out util functions. (#2604) tree | commitdiff
2018-10-09 Aina Niemetz BV inverter: Factor out util functions. (#2603) tree | commitdiff
2018-10-08 Andrew ReynoldsAddress slow sygus regressions (#2598) tree | commitdiff
2018-10-05 Andrew Reynolds Fix cache for sygus post-condition inference (#2592) tree | commitdiff
2018-10-05 Andrew ReynoldsUpdate default options for sygus (#2586) tree | commitdiff
2018-10-04 Aina NiemetzNew C++ API: Add checks for Sorts. (#2519) tree | commitdiff
next