projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2018-12-07 Alex OzdemirEnable BV proofs when using an eager bitblaster (#2733) commit | commitdiff | tree
2018-12-06 Andres NoetzliFix use-after-free due to destruction order (#2739) commit | commitdiff | tree
2018-12-06 Andrew Reynolds Take into account minimality and types for cached... commit | commitdiff | tree
2018-12-04 Andrew ReynoldsApply extended rewriting on PBE static symmetry breakin... commit | commitdiff | tree
2018-12-04 Andrew ReynoldsEnable regular expression elimination by default. ... commit | commitdiff | tree
2018-12-03 Andrew Reynolds Skip non-cardinality types in sets min card inference... commit | commitdiff | tree
2018-12-03 Alex OzdemirBit vector proof superclass (#2599) commit | commitdiff | tree
2018-12-02 Andrew ReynoldsOptimizations for PBE strings (#2728) commit | commitdiff | tree
2018-11-29 Andrew Reynolds Infrastructure for sygus side conditions (#2729) commit | commitdiff | tree
2018-11-29 Andrew ReynoldsCombine sygus stream with PBE (#2726) commit | commitdiff | tree
2018-11-28 Andrew ReynoldsImprove interface for sygus grammar cons (#2727) commit | commitdiff | tree
2018-11-28 Andrew ReynoldsInformation gain heuristic for PBE (#2719) commit | commitdiff | tree
2018-11-28 Andrew ReynoldsOptimize re-elim for re.allchar components (#2725) commit | commitdiff | tree
2018-11-28 Andres NoetzliImprove skolem caching by normalizing skolem args ... commit | commitdiff | tree
2018-11-28 Andrew ReynoldsGeneralize sygus stream solution filtering to logical... commit | commitdiff | tree
2018-11-28 Andrew ReynoldsImprove cegqi engine trace. (#2714) commit | commitdiff | tree
2018-11-27 Andrew ReynoldsMake (T)NodeTrie a general utility (#2489) commit | commitdiff | tree
2018-11-27 Andrew ReynoldsFix coverity warnings in datatypes (#2553) commit | commitdiff | tree
2018-11-27 Andrew ReynoldsLazy model construction in TheoryEngine (#2633) commit | commitdiff | tree
2018-11-27 Andres NoetzliReduce lookahead when parsing string literals (#2721) commit | commitdiff | tree
2018-11-27 Alex OzdemirLRA proof signature fixes and a first proof for linear... commit | commitdiff | tree
2018-11-23 Tom SmedingUse https for antlr3.org downloads (#2701) commit | commitdiff | tree
2018-11-22 Andres NoetzliMove ss-combine rewrite to extended rewriter (#2703) commit | commitdiff | tree
2018-11-22 Andres NoetzliAdd rewrite for (str.substr s x y) --> "" (#2695) commit | commitdiff | tree
2018-11-21 Andrew ReynoldsCache evaluations for PBE (#2699) commit | commitdiff | tree
2018-11-21 Andrew ReynoldsQuickly recognize when PBE conjectures are infeasible... commit | commitdiff | tree
2018-11-21 MartinObvious rewrites to floating-point < and <=. (#2706) commit | commitdiff | tree
2018-11-21 Andrew ReynoldsSupport string replace all (#2704) commit | commitdiff | tree
2018-11-21 Andrew Reynolds Fix type enumerator for FP (#2717) commit | commitdiff | tree
2018-11-20 Andrew ReynoldsFix real2int regression. (#2716) commit | commitdiff | tree
2018-11-20 Alex OzdemirChange lemma proof step storage & iterators (#2712) commit | commitdiff | tree
2018-11-20 Andrew Reynolds Clausify context-dependent simplifications in ext... commit | commitdiff | tree
2018-11-19 Andrew ReynoldsFix E-matching for case where candidate generator is... commit | commitdiff | tree
2018-11-15 Andrew Reynolds Expand definitions prior to model core computation... commit | commitdiff | tree
2018-11-14 Mathias Preinercmake: Require boost 1.50.0 for examples. (#2710) commit | commitdiff | tree
2018-11-08 Mathias Preinercmake: Add option to explicitely enable/disable static... commit | commitdiff | tree
2018-11-08 Andres NoetzliEvaluator: add support for str.code (#2696) commit | commitdiff | tree
2018-11-07 Haniel BarbosaAdding default SyGuS grammar construction for arrays... commit | commitdiff | tree
2018-11-07 Andres NoetzliFix collectEmptyEqs in string rewriter (#2692) commit | commitdiff | tree
2018-11-07 Andrew Reynolds Fix for itos reduction (#2691) commit | commitdiff | tree
2018-11-06 Andrew ReynoldsIncorporate static PBE symmetry breaking lemmas into... commit | commitdiff | tree
2018-11-05 Andrew ReynoldsChange default sygus enumeration mode to auto (#2689) commit | commitdiff | tree
2018-11-05 Andrew ReynoldsFix coverity warnings in sygus enumerator (#2687) commit | commitdiff | tree
2018-11-05 Aina NiemetzNew C++ API: Split unit tests. (#2688) commit | commitdiff | tree
2018-11-05 yoni206Increasing coverage (#2683) commit | commitdiff | tree
2018-11-05 Andres NoetzliAPI: Fix assignment operators (#2680) commit | commitdiff | tree
2018-11-05 Andres Noetzliconfigure.sh: Fix option parsing to match --help (... commit | commitdiff | tree
2018-11-05 Andrew ReynoldsAllow partial models with optimized sygus enumeration... commit | commitdiff | tree
2018-11-05 Andrew Reynolds Implement option to turn off symmetry breaking for... commit | commitdiff | tree
2018-11-03 Haniel BarbosaRefactor default grammars construction (#2681) commit | commitdiff | tree
2018-11-02 yoni206fixes to regression docs (#2679) commit | commitdiff | tree
2018-10-31 Andrew ReynoldsAdd optimized sygus enumeration (#2677) commit | commitdiff | tree
2018-10-31 Andres NoetzliRecord assumption info in AssertionPipeline (#2678) commit | commitdiff | tree
2018-10-24 Andrew ReynoldsMinor improvement to sygus trace (#2675) commit | commitdiff | tree
2018-10-24 Andres NoetzliCMake: Set RPATH on installed binary (#2671) commit | commitdiff | tree
2018-10-23 Andrew ReynoldsDo not use lazy trie for sygus-rr-verify (#2668) commit | commitdiff | tree
2018-10-22 makaimannFail for SWIG 3.0.8 (#2656) commit | commitdiff | tree
2018-10-22 Andres NoetzliCMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666) commit | commitdiff | tree
2018-10-22 Andres NoetzliOnly build CryptoMiniSat library, no binary (#2657) commit | commitdiff | tree
2018-10-22 Andres NoetzliRecover from wrong use of get-info :reason-unknown... commit | commitdiff | tree
2018-10-20 Mathias PreinerRemove antlr_undefines.h. (#2664) commit | commitdiff | tree
2018-10-20 Andres NoetzliAdd substr, contains and equality rewrites (#2665) commit | commitdiff | tree
2018-10-20 Andres NoetzliDisable dumping test for non-dumping builds (#2662) commit | commitdiff | tree
2018-10-20 Andres NoetzliTravis: run examples and avoid building them twice... commit | commitdiff | tree
2018-10-20 Aina NiemetzBV rewrites (mined): Rule 35: ConcatPullUp with special... commit | commitdiff | tree
2018-10-20 Aina NiemetzBV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_X... commit | commitdiff | tree
2018-10-20 Andrew ReynoldsSygus streaming non-implied predicates (#2660) commit | commitdiff | tree
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) commit | commitdiff | tree
2018-10-19 Andres NoetzliFix util::Random for macOS builds (#2655) commit | commitdiff | tree
2018-10-19 Andres NoetzliAdd helper to detect length one string terms (#2654) commit | commitdiff | tree
2018-10-19 Andres NoetzliAdd OptionException handling during initialization... commit | commitdiff | tree
2018-10-19 Mathias Preinercmake: Run regression level 2 for make check. (#2645) commit | commitdiff | tree
2018-10-19 Andrew ReynoldsNon-implied mode for model cores (#2653) commit | commitdiff | tree
2018-10-18 Andrew ReynoldsNon-contributing find replace rewrite (#2652) commit | commitdiff | tree
2018-10-18 Andrew ReynoldsImprove reduction for str.to.int (#2636) commit | commitdiff | tree
2018-10-18 Haniel BarbosaIntroducing internal commands for SyGuS commands (... commit | commitdiff | tree
2018-10-18 Andrew ReynoldsConstant length regular expression elimination (#2646) commit | commitdiff | tree
2018-10-18 Andres Noetzli Skip sygus-rr-synth-check regressions when ASAN on... commit | commitdiff | tree
2018-10-18 Andres NoetzliShow if ASAN build in --show-config (#2650) commit | commitdiff | tree
2018-10-18 Andrew ReynoldsSygus query generator (#2465) commit | commitdiff | tree
2018-10-17 Andrew Reynolds Fix context-dependent for positive contains reduction... commit | commitdiff | tree
2018-10-17 Aina NiemetzBV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_O... commit | commitdiff | tree
2018-10-16 Mathias Preinercmake: Add CxxTest include directory to unit test inclu... commit | commitdiff | tree
2018-10-16 Aina NiemetzBV rewrites (mined): Rule 35: Generalized ConcatPullUp... commit | commitdiff | tree
2018-10-16 Aina NiemetzBV rewrites (mined): Rule 35: Generalized ConcatPullUp... commit | commitdiff | tree
2018-10-16 Aina NiemetzBV rewrites (mined): Rule 35: Generalized ConcatPullUp... commit | commitdiff | tree
2018-10-16 Aina NiemetzBV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_A... commit | commitdiff | tree
2018-10-16 Andrew ReynoldsImprove strings reductions including skolem caching... commit | commitdiff | tree
2018-10-16 Andrew ReynoldsImprove reduction for int.to.str (#2629) commit | commitdiff | tree
2018-10-16 Haniel BarbosaOption for shuffling condition pool in CegisUnif (... commit | commitdiff | tree
2018-10-15 Mathias Preinercmake: Generate git_versioninfo.cpp on build time.... commit | commitdiff | tree
2018-10-15 Andrew ReynoldsDelay initialization of theory engine (#2621) commit | commitdiff | tree
2018-10-15 Andres NoetzliAdd more (str.replace x y z) rewrites (#2628) commit | commitdiff | tree
2018-10-14 Andres NoetzliFix fp-bool.sy grammar and require symfpu (#2631) commit | commitdiff | tree
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624) commit | commitdiff | tree
2018-10-12 Andrew ReynoldsImprovements to rewrite rules from inputs (#2625) commit | commitdiff | tree
2018-10-12 Andres Noetzli Add rewrites for str.replace in str.contains (#2623) commit | commitdiff | tree
2018-10-12 Andrew Reynolds Fix heuristic for string length approximation (#2622) commit | commitdiff | tree
2018-10-12 Andrew Reynolds Refactor printing of parameterized operators in smt2... commit | commitdiff | tree
2018-10-11 Andres NoetzliImprove reasoning about empty strings in rewriter ... commit | commitdiff | tree
next